{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T19:38:06Z","timestamp":1794339486171,"version":"4.9.0"},"publisher-location":"Boston","reference-count":10,"publisher":"Kluwer Academic Publishers","isbn-type":[{"value":"1402079907","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-7991-5_17","type":"book-chapter","created":{"date-parts":[[2006,3,9]],"date-time":"2006-03-09T03:45:24Z","timestamp":1141875924000},"page":"271-283","source":"Crossref","is-referenced-by-count":2,"title":["A New Time Extension to \u03c0-Calculus Based on Time Consuming Transition Semantics"],"prefix":"10.1007","author":[{"given":"Marco","family":"Fischer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"F\u00f6rster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9","family":"Windisch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dieter","family":"Monjau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Burkhard","family":"Balser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Davies, J. (1993). Specification and Proof in Real-Time CSP. Technical report, Oxford University.","DOI":"10.1017\/CBO9780511569760"},{"key":"17_CR2","unstructured":"Fidge, Colin and \u017dic, John (1995). An expressive real-time ccs. Technical report, Software Verification Research Centre, University of Queensland."},{"key":"17_CR3","unstructured":"F\u00f6rster, S., Windisch, A., Fischer, M., Monjau, D., and Balser, B. (2003). Process Algebraic Specification, Refinement, and Verification of Embedded Systems. In Proceedings of FDL03."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Hansson, Hans and Jonsson, Bengt (1990). A Calculus for Communicating Systems with Time and Probabilities. In Proceedings of the 11th IEEE Real-Time Systems Symposium, Orlando, Florida. IEEE Computer Society Press.","DOI":"10.1109\/REAL.1990.128759"},{"key":"17_CR5","unstructured":"Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice Hall."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-444-89402-1.50025-4","volume-title":"Formal Description Techniques","author":"G. Leduc","year":"1992","unstructured":"Leduc, G. (1992). An upward Compatible Timed Extension to LOTOS. In Parker, K. and Rose, G., editors, Formal Description Techniques, volume IV, pages 217\u2013232, North-Holland, Amsterdam."},{"key":"17_CR7","unstructured":"Lee, Jeremy Y. and \u017dic, John (2002). On modeling real-time mobile processes. In Oudshoorn, Michael, editor, Proceedings of 25th Australasian Computer Science Conference 2002 (ACSC2002), volume 4, Melbourne, Australia."},{"key":"17_CR8","unstructured":"Milner, Robin (1989). Communication and Concurrency. Prentice Hall."},{"key":"17_CR9","unstructured":"Milner, Robin (1999). Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press. ISBN: 0-52164320-1."},{"issue":"2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. Schneider","year":"1995","unstructured":"Schneider, Steve (1995). An operational semantics for timed CSP. Information and Computation, (116(2)):193\u2013213.","journal-title":"Information and Computation"}],"container-title":["Languages for System Specification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7991-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:21:51Z","timestamp":1619540511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7991-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402079907"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7991-5_17","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b116586","asserted-by":"object"}]},"subject":[]}}