{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:56:09Z","timestamp":1725652569911},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198222"},{"type":"electronic","value":"9781447132172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3217-2_5","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T12:40:09Z","timestamp":1326717609000},"page":"65-85","source":"Crossref","is-referenced-by-count":1,"title":["CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Br\u00e9mond-Gr\u00e9goire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Davidson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Proc. of IEEE Symposium on Logic in Computer Science","author":"R Cleaveland","year":"1988","unstructured":"R. Cleaveland and M. Hennessy. Priorities in Process Algebras. In Proc. of IEEE Symposium on Logic in Computer Science, 1988."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R Cleaveland","year":"1990","unstructured":"R. Cleaveland and M. Hennessy. Priorities in Process Algebras. Information and Computation, 87: 58\u201377, 1990.","journal-title":"Information and Computation"},{"key":"5_CR3","volume-title":"Communicating Shared Resrouces: A Model for Distributed Real-Time Systems. PhD thesis","author":"R Gerber","year":"1991","unstructured":"R. Gerber. Communicating Shared Resrouces: A Model for Distributed Real- Time Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1991."},{"key":"5_CR4","volume-title":"Proc. 10th IEEE Real-Time Systems Symposium","author":"R Gerber","year":"1989","unstructured":"R. Gerber and I. Lee. Communicating Shared Resources: A Model for Distributed Real-Time Systems. In Proc. 10th IEEE Real-Time Systems Symposium, 1989."},{"key":"5_CR5","volume-title":"Proc. 6th IEEE Workshop on Real-Time Software and Operating Systems","author":"R Gerber","year":"1989","unstructured":"R. Gerber and I. Lee. The Formal Treatment of Priorities in Real-Time Computation. In Proc. 6th IEEE Workshop on Real-Time Software and Operating Systems, 1989."},{"key":"5_CR6","volume-title":"Proc. 11th IEEE Real-Time Systems Symposium","author":"R Gerber","year":"1990","unstructured":"R. Gerber and I. Lee. A Proof System for Communicating Shared Resource. In Proc. 11th IEEE Real-Time Systems Symposium, 1990."},{"key":"5_CR7","volume-title":"Technical Report MS-CIS-90-69, University of Pennsylvania, Department of Computer and Information Science","author":"R Gerber","year":"1990","unstructured":"R. Gerber and I. Lee. A Resource-Based Prioritized Bisimulation for Real-Time Systems. Technical Report MS-CIS-90\u201369, University of Pennsylvania, Department of Computer and Information Science, September 1990."},{"key":"5_CR8","volume-title":"Department of Computer and Information Science","author":"R Gerber","year":"1990","unstructured":"R. Gerber and I. Lee. CCSR: A Calculus for Communicating Shared Resources. Technical Report MS-CIS-90\u201316, University of Pennsylvania, Department of Computer and Information Science, March 1990."},{"key":"5_CR9","volume-title":"Proc. of CONCUR90, LNCS 458","author":"R Gerber","year":"1990","unstructured":"R. Gerber and I. Lee. CCSR: A Calculus for Communicating Shared Resources. In Proc. of CONCUR90, LNCS\n                  458, August 1990."},{"key":"5_CR10","volume-title":"Proceedings of REX Workshop on Real Time: Theory and Practice","author":"R Gerber","year":"1991","unstructured":"R. Gerber and I. Lee. Specification and Analysis of Resource-Bound Real-Time Systems. In Proceedings of REX Workshop on Real Time: Theory and Practice, June 1991."},{"key":"5_CR11","volume-title":"Algebraic Theory of Processes","author":"M Hennessy","year":"1988","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press Series in the Foundations of Computing. MIT Press, 1988."},{"issue":"8","key":"5_CR12","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21 (8): 666\u2013676, August 1978.","journal-title":"Communications of the ACM"},{"key":"5_CR13","volume-title":"Communication and Concurrency. Prentice-Hall","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"5_CR14","first-page":"548","volume-title":"Testing Equivalences for Processes. ICALP, LNCS","author":"R Nicola De","year":"1983","unstructured":"R. De Nicola and M. Hennessy. Testing Equivalences for Processes. In ICALP, LNCS\n                  154, pages 548\u2013560, 1983."}],"container-title":["Workshops in Computing","NAPAW 92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3217-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T19:36:09Z","timestamp":1556134569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3217-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198222","9781447132172"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3217-2_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}