© 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},
}