{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:47:37Z","timestamp":1784206057476,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540542339","type":"print"},{"value":"9783540475163","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_136","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:37:09Z","timestamp":1330209429000},"page":"217-228","source":"Crossref","is-referenced-by-count":69,"title":["CCS + time = an interleaving model for real time systems"],"prefix":"10.1007","author":[{"given":"Wang","family":"Yi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","unstructured":"L. Chen and S. Anderson and F. Moller, A Timed Calculus of Communicating Systems, LFCS report-90-127, Edinburgh University, December 1990."},{"key":"16_CR2","unstructured":"M. Hennessy and T. Regan, A Temporal Process Algebra, Report No 2\/90, University of Sussex, April 1990."},{"key":"16_CR3","volume-title":"Linear Time Process Algebra","author":"A. Jeffrey","year":"1991","unstructured":"A. Jeffrey, Linear Time Process Algebra, (submitted to CAV91), Dept. of Computer Sciences, Chalmers University, Sweden, March 1991."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"R. Milner, Calculi for Synchrony and Asynchrony, TCS, Vol 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"16_CR5","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1988."},{"key":"16_CR6","unstructured":"F. Moller and C. Tofts, A Temperal Calculus of Communicating Systems, LNCS, No. 458, 1990."},{"key":"16_CR7","unstructured":"Y. Ortega-Mallen and D. de Frutos-Escrig, Timed Observations: a semantic model for real time concurrency, In M. Broy and C.B. Jones, editors, TC2-Working Conference on Programming Concepts and Methods, 1990."},{"key":"16_CR8","unstructured":"W.P. de Roever and J.J.M. Hooman, Design and Verification of Real-time Distributed Computing: an Introduction to Compositional Methods, Proceeding of the 9th IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification, 1989."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe, A Timed Model for Communicating Sequential Processes, LNCS, No. 226, 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"16_CR10","unstructured":"J. Sifakis et al. The Algebra of Timed Processes ATP: Theory and Application, Laboratoire de Genie Informatique, IMAG-Campus, B.P.53X, 38041 Grenoble Cedex, France, December 1990."},{"key":"16_CR11","unstructured":"Y. Wang, Real Time Behaviour of Asynchronous Agents, LNCS, No. 458, 1990."},{"key":"16_CR12","volume-title":"Nordic Workshop on Program Correctness (internal report)","author":"Y. Wang","year":"1990","unstructured":"Yi Wang, CCS + Time = an Interleaving Model for Real Time Systems, Nordic Workshop on Program Correctness (internal report), Aalborg University, Denmark, October 1990."},{"key":"16_CR13","volume-title":"A Calculus of Real Time Systems","author":"Y. Wang","year":"1991","unstructured":"Y. Wang, A Calculus of Real Time Systems, Ph.D. thesis (in preparation), Dept. of Computer Sciences, Chalmers University, Sweden, 1991."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_136.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:10Z","timestamp":1605646390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_136","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}