Discrete Time Process Algebra and the semantics of SDL
DSpace/Manakin Repository
Discrete Time Process Algebra and the semantics of SDL
Bergstra, J.A.; Middelburg, C.A.; Usenko, Y.S.
(2001) Handbook of process algebra, pp. 1209 - 1268
(Part of book or chapter of book)
Abstract
Chapter 18 (Part 6: Tools and Applications)from the Handbook of process algebra, dealing with discrete time process algebra and SDL .
show less
Download/Full Text
The full text of this publication is not available.
Publisher: Elsevier
See
more statistics
about this item