© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards a Denotational Semantics for Timed LOTOS
J.W. Bryans, J.W. Davies, and S.A. Schneider
In Lecture Notes in Computer Science 962, pages 182-196. CONCUR'95, October 1995.Bibtex Record
@inproceedings{553, author = {J.W. Bryans and J.W. Davies and S.A. Schneider}, title = {{Towards a Denotational Semantics for Timed LOTOS}}, month = {October}, year = {1995}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1995/553}, booktitle = {Lecture Notes in Computer Science 962}, organization = {CONCUR'95}, }