{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:43Z","timestamp":1725663523570},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55092-5_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:27:59Z","timestamp":1330212479000},"page":"493-506","source":"Crossref","is-referenced-by-count":7,"title":["Translating timed process algebra into prioritized process algebra"],"prefix":"10.1007","author":[{"given":"Alan","family":"Jeffrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J. C. M. Baeten","year":"1991","unstructured":"J. C. M. Baeten and J. A. Bergstra. Real time process algebra. Formal Aspects Comp. Sci., 3:142\u2013188, 1991.","journal-title":"Formal Aspects Comp. Sci."},{"issue":"2","key":"27_CR2","first-page":"127","volume":"9","author":"J. C. M. Baeten","year":"1986","unstructured":"J. C. M. Baeten, J. A. Bergstra and J. W. Klop. Syntax and defining equations for an interrupt operator in process algebra. Fund. Inform., 9(2):127\u2013168, 1986.","journal-title":"Fund. Inform."},{"issue":"3","key":"27_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. J. Assoc. Comput. Mach., 31(3):560\u2013599, 1984.","journal-title":"J. Assoc. Comput. Mach."},{"key":"27_CR4","unstructured":"S. D. Brookes. A Model for Communicating Sequential Processes, D.Phil. thesis, Oxford University, 1983."},{"key":"27_CR5","unstructured":"S. D. Brookes, A. W. Roscoe, and D. J. Walker. An operational semantics for CSP. Submitted for publication, 1986."},{"key":"27_CR6","unstructured":"Juanito Camilleri. Priority in Process Calculi. PhD thesis, Cambridge University, 1990."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Juanito Camilleri. A conditional operator for CCS. In J. C. M. Baeten and J. F. Groote, editors, Proc. Concur 91, pages 142\u2013156. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_86"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"R. Cleveland and M. Hennessy. Priorities in process algebra. In Proc. LICS 88. The Computer Society, 1988.","DOI":"10.1109\/LICS.1988.5118"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Ivan Christoff. Testing equivalences and fully abstract models for probabilistic processes. In Proc. Concur 90, pages 126\u2013141. Springer Verlag, 1990. LNCS 458.","DOI":"10.1007\/BFb0039056"},{"key":"27_CR10","unstructured":"Jim Davies. Specification and Proof in Real-time Systems. D.Phil. thesis, Oxford University, 1991."},{"key":"27_CR11","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Hans Hansson and Bengt Jonsson. A calculus for communicating systems with time and probabilities. Swedish Institute for Computer Science, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"27_CR13","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":"27_CR14","unstructured":"M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2\/90, CSAI, University of Sussex, 1990."},{"key":"27_CR15","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Submitted for publication, 1991."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Alan Jeffrey. A linear time process algebra. In Kim G. Larsen and Arne Skou, editors, Proc. CAV 91. Springer-Verlag, 1991. To appear in LNCS.","DOI":"10.1007\/3-540-55179-4_40"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen and Arne Skou. Bisimulation through probabilistic testing. In Proc. 16th ACM Symp. on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75307"},{"key":"27_CR18","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":"27_CR19","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"Robin Milner. A complete inference system for a class of regular behaviours. J. Comput. System Sci., 28:439\u2013466, 1984.","journal-title":"J. Comput. System Sci."},{"key":"27_CR20","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"27_CR21","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":"27_CR22","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":"27_CR23","unstructured":"Vaughan Pratt et al. Modelling concurrency with partial orders. Concurrency mailing list, concurrency@theory.lcs.mit.edu, October 1990."},{"key":"27_CR24","unstructured":"Gordon Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., \u00c5rhus University, 1981."},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"G. M. Reed and A. W. Roscoe. Metric spaces as models for real-time concurrency. In Proc. 3rd Workshop on the Mathematical Foundations of Programming, pages 331\u2013343. Springer-Verlag, 1987. LNCS 298.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"27_CR26","unstructured":"S. A. Schneider. Communication and Correctness in Real-time Distributed Computing. D.Phil. thesis, Oxford University, 1990."},{"key":"27_CR27","unstructured":"Steve Schneider. An operational semantics for timed CSP. In Proc. Chalmers Workshop on Concurrency. Dept. Computer Sciences, Chalmers University, 1991."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Scott A. Smolka and Bernhard Steffen. Priority as extremal probability. In Proc. Concur 90, pages 456\u2013466. Springer Verlag, 1990. LNCS 458.","DOI":"10.1007\/BFb0039077"},{"key":"27_CR29","unstructured":"Chris Tofts. Relative frequency in a synchronous calculus. Technical report ECS-LFCS-90-108, LFCS, University of Edinburgh, 1990."},{"key":"27_CR30","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":"27_CR31","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","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:03:52Z","timestamp":1640923432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550921","9783540466925"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}