| 
| Beyond SDL |
| |  | UNU-IIST Home |
|
| Beyond SDL |
References
- [1]
-
J.C.M. Baeten and J.A. Bergstra.
Process algebra with propositional signals.
Logic Group Preprint Series 123, Utrecht University, Department of
Philosophy, November 1994.
- [2]
-
J.C.M. Baeten and J.A. Bergstra.
Discrete time process algebra.
Report P9208c, University of Amsterdam, Programming Research Group,
March 1995.
To appear in Formal Aspects of Computing.
- [3]
-
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.
- [4]
-
J.C.M. Baeten and W.P. Weijland.
Process Algebra.
Cambridge Tracts in Theoretical Computer Science 18, Cambridge
University Press, 1990.
- [5]
-
F. Belina, D. Hogrefe, and A. Sarma.
SDL with Applications from Protocol Specification.
Prentice-Hall, 1991.
- [6]
-
J.A. Bergstra, W.J. Fokkink, and C.A. Middelburg.
Algebra of timed frames.
Logic Group Preprint Series 148, Utrecht University, Department of
Philosophy, November 1995.
- [7]
-
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.
- [8]
-
J.A. Bergstra and C.A. Middelburg.
Process algebra semantics of phiSDL.
Logic Group Preprint Series 129, Utrecht University, Department of
Philosophy, March 1995.
- [9]
-
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.
iistinfo@iist.unu.edu, November 1997
| Beyond SDL |
| |
| Beyond SDL |
| | | UNU-IIST Home |
|