{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:08Z","timestamp":1725663668519},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55179-4_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:52:03Z","timestamp":1330249923000},"page":"432-442","source":"Crossref","is-referenced-by-count":7,"title":["A linear time process algebra"],"prefix":"10.1007","author":[{"given":"Alan","family":"Jeffrey","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J. C. M. M. Baeten","year":"1991","unstructured":"J. C. M. Baeten and J. A. Bergstra. Heal time process algebra. Formal Aspects Comp. Sci., 3:142\u2013188, 1991.","journal-title":"Formal Aspects Comp. Sci."},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"40_CR3","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":"40_CR4","unstructured":"M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2\/90, CSAI, University of Sussex, 1990."},{"key":"40_CR5","unstructured":"Alan Jeffrey. Observation Spaces and Timed Processes. D. Phil. thesis, Oxford University, 1991."},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Robin Milner. A Calculus of Communicating Systems. Springer-Verlag, 1980. LNCS 92.","DOI":"10.1007\/3-540-10235-3"},{"key":"40_CR7","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proc. Concur 90, pages 401\u2013415. Springer-Verlag, 1990. LNCS 458.","DOI":"10.1007\/BFb0039073"},{"key":"40_CR9","unstructured":"X. Nicollin and J. Sifakis. The algebra of timed processes ATP: Theory and application. Technical Report RT-C26, Laboratoire de G\u00e9nie Informatique de Grenoble, 1990."},{"key":"40_CR10","unstructured":"Gordon Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., \u00e5rhus University, 1981."},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In Proc. ICALP 86, pages 314\u2013323. Springer-Verlag, 1986. LNCS 226.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Wang Yi. Real-time behaviour of asynchronous agents. In Proc. Concur 90, pages 502\u2013520. Springer-Verlag, 1990. LNCS 458.","DOI":"10.1007\/BFb0039080"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Wang Yi. CCS+time=an interleaving model for real time systems. In J. Leach Albert, B. Monien, and M. Rodr\u00edguez, editors, Proc. ICALP 91, pages 217\u2013228. Springer-Verlag, 1991. LNCS 510.","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:14:42Z","timestamp":1640924082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540551799","9783540467632"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}