Real-time LOTOS and Timed Observations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jim Davies, Jeremy Bryans, Steve Schneider. Real-time LOTOS and Timed Observations. In Gregor von Bochmann, Rachida Dssouli, Omar Rafiq, editors, Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Volume 43 of IFIP Conference Proceedings, pages 383-397, Chapman & Hall, 1995.

The following publications are possibly variants of this publication:

Denotational semantic models for real-time LOTOSJeremy William Bryans. PhD thesis, University of Reading, UK, 1996. [doi]

runs on WebDSL