DesCaRTeS: Design Calculi for Telecommunications Systems
UNU-IIST Home
DesCaRTeS: Design Calculi for Telecommunications Systems
References
[1]
B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hantz.
The AVALON project: A validation enviroment for SDL/MSC
descriptions.
In O. Færgemand and A. Sarma, editors, SDL '93: Using
Objects, pages 221-235. Elsevier (North-Holland), 1991.
[2]
F. Belina, D. Hogrefe, and A. Sarma.
SDL with Applications from Protocol Specification.
Prentice-Hall, 1991.
[3]
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.
[4]
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.
[5]
J.A. Bergstra and C.A. Middelburg.
Process algebra semantics of phiSDL.
Logic Group Preprint Series 129, Utrecht University, Department of
Philosophy, March 1995.
[6]
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.
[7]
Specification and description language (SDL).
ITU-T Recommendation Z.100, Revision 1, 1994.
[8]
Specification and description language (SDL) - SDL formal definition:
Dynamic semantics.
ITU-T Recommendation Z.100 F3, Revision 1, 1994.
Annex F.3 to Recommendation Z.100.
[9]
LOTOS: A formal description technique based on the temporal ordering of
observational behaviour.
International Standard ISO 8807 (draft final text), 1988.
[10]
SDT user's guide.
TeleLOGIC AB, Sweden, 1992.
info@iist.unu.edu, March 1996
DesCaRTeS: Design Calculi for Telecommunications Systems
DesCaRTeS: Design Calculi for Telecommunications Systems
