{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:45Z","timestamp":1725664485986},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602187"},{"type":"electronic","value":"9783540447382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:00Z","timestamp":1330278660000},"page":"269-283","source":"Crossref","is-referenced-by-count":2,"title":["Towards a denotational semantics for ET-LOTOS"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Bryans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0920-5489(94)90002-7","volume":"16","author":"Tommaso Bolognesi","year":"1994","unstructured":"T. Bolognesi, F. Lucidi, and S. Trigila. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 16(2), 1994.","journal-title":"Computer Standards & Interfaces"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"J. Davies. Specification and proof in real time CSP. Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511569760"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/BF01211248","volume":"5","author":"J. Davies","year":"1993","unstructured":"J. Davies and S. Schneider. Recursion induction for real-time processes. Formal Aspects of Computing, 5(6):530\u2013553, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"20_CR5","unstructured":"ISO. Information Processing Systems\u2014Open Systems Interconnection\u2014LOTOS, a Formal Description Technique based on the Temporal Ordering of Observational Behaviour, February 1988. ISO\/IEC-JTC1\/SC21\/WG1\/FDT\/C."},{"key":"20_CR6","unstructured":"JTC1\/SC21\/WG1\/Q48.6. Revised draft on enhancements to LOTOS. obtainable from ftp.dit.upm.es, 1994."},{"key":"20_CR7","unstructured":"L. L\u00e9onard and G. Leduc. An enhanced version of timed LOTOS and its application to a case study. In Formal Description Techniques VI, 1994."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pneuli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"20_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"issue":"2","key":"20_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. Schneider","year":"1995","unstructured":"S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2), 1995.","journal-title":"Information and Computation"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"S. Schneider. Timewise refinement for communicating processes. Science of Computer Programming, 1995. to appear.","DOI":"10.1007\/3-540-58027-1_9"},{"volume-title":"Using Formal Description Techniques \u2014 An Introduction to Estelle, LOTOS and SDL","year":"1993","key":"20_CR12","unstructured":"Kenneth J. Turner, editor. Using Formal Description Techniques \u2014 An Introduction to Estelle, LOTOS and SDL. Wiley, New York, January 1993."}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:30:31Z","timestamp":1640943031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}