DesCaRTeS Seminar		UNU-IIST Home
DesCaRTeS Seminar

References

 [1]

C.A. Middelburg. Design calculi in software development: Theory and practice. To be published in the proceedings of the EU-China High Tech Conference, November 1996, Beijing.

 [2]

F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice-Hall, 1991.

 [3]

J.A. Bergstra and C.A. Middelburg. Process algebra semantics of phiSDL. Research Report 68, United Nations University, International Institute for Software Technology, April 1996.

 [4]

J.A. Bergstra and C.A. Middelburg. Process algebraic underpinning of communication and timing in SDL. Research Report 87, United Nations University, International Institute for Software Technology, December 1996.

 [5]

C.A. Middelburg. A simple language for expressing properties of telecommunication services and features. Publication 94-PU-356, PTT Research, 1994.

 [6]

J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990.

 [7]

J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8:188-208, 1996.

 [8]

J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra with abstraction. In H. Reichel, editor, Fundamentals of Computation Theory, pages 1-15. LNCS 965, Springer-Verlag, 1995.

 [9]

J.C.M. Baeten and J.A. Bergstra. Process algebra with propositional signals. Theoretical Computer Science, 177:381-405, 1997.

 [10]

J.A. Bergstra, W.J. Fokkink, and C.A. Middelburg. Algebra of timed frames. International Journal of Computer Mathematics, 61:227-255, 1996.

 [11]

J.A. Bergstra, W.J. Fokkink, and C.A. Middelburg. A logic for signal inserted timed frames. Logic Group Preprint Series 155, Utrecht University, Department of Philosophy, January 1996.

 [12]

J.A. Bergstra, C.A. Middelburg, and Gh. Stefanescu. Network algebra for synchronous and asynchronous dataflow. Report P9508, University of Amsterdam, Programming Research Group, October 1995.

DesCaRTeS Seminar
	DesCaRTeS Seminar		UNU-IIST Home