{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:00Z","timestamp":1725664500612},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:20Z","timestamp":1330293800000},"page":"34-49","source":"Crossref","is-referenced-by-count":5,"title":["A process algebra with distributed priorities"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Natarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","volume":"IX","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 mechanism in process algebra. Fundamenta Informaticae IX, pages 127\u2013168, 1986.","journal-title":"Fundamenta Informaticae"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(92)90184-H","volume":"96","author":"E. Best","year":"1992","unstructured":"E. Best and M. Koutny. Petri net semantics of priority systems. Theoretical Computer Science, 96:175\u2013215, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"3_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0304-3975(93)90152-J","volume":"114","author":"G. Boudol","year":"1993","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing localities. Theoretical Computer Science, 114(1):31\u201361, June 1993.","journal-title":"Theoretical Computer Science"},{"key":"3_CR4","first-page":"417","volume-title":"volume 715 of Lecture Notes in Computer Science","author":"P. Br\u00e9monde-Gr\u00e9goire","year":"1993","unstructured":"P. Br\u00e9monde-Gr\u00e9goire, I. Lee, and R. Gerber. ACSR: An algebra of communicating shared resources with dense time and priorities. In E. Best, editor, CONCUR '93, volume 715 of Lecture Notes in Computer Science, pages 417\u2013431, Hildesheim, Germany, August 1993. Springer-Verlag."},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/inco.1995.1003","volume":"116","author":"J. Camilleri","year":"1995","unstructured":"J. Camilleri and G. Winskel. CCS with priority choice. Information and Computation, 116(1):26\u201337, January 1995.","journal-title":"Information and Computation"},{"issue":"1\/2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M.C.B. Hennessy. Priorities in process algebra. Information and Computation, 87(1\/2):58\u201377, July\/August 1990.","journal-title":"Information and Computation"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, G. L\u00fcttgen, and V. Natarajan. A process algebra with distributed priorities. Technical Report TR-96-02, North Carolina State University, March 1996.","DOI":"10.1007\/3-540-61604-7_46"},{"key":"3_CR8","first-page":"278","volume-title":"volume 1055 of Lecture Notes in Computer Science","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, G. L\u00fcttgen, V. Natarajan, and S. Sims. Priorities for modeling and verifying distributed systems. In T. Margaria and B. Steffen, editors, Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), volume 1055 of Lecture Notes in Computer Science, pages 278\u2013297, Passau, Germany, March 1996. Springer-Verlag."},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM Transactions on Programming Languages and Systems, 15(1):36\u201372, January 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR10","first-page":"43","volume-title":"A process calculus with incomparable priorities","author":"H. Hansson","year":"1992","unstructured":"H. Hansson and F. Orava. A process calculus with incomparable priorities. In Proceedings of the North American Process Algebra Workshop, Workshops in Computing, pages 43\u201364, Stony Brook, New York, August 1992. Springer-Verlag."},{"key":"3_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985."},{"key":"3_CR12","unstructured":"C.-T. Jensen. Prioritized and Independent Actions in Distributed Computer Systems. PhD thesis, Aarhus University, August 1994."},{"key":"3_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."},{"key":"3_CR14","first-page":"617","volume-title":"volume 623 of Lecture Notes in Computer Science","author":"U. Montanari","year":"1992","unstructured":"U. Montanari and D. Yankelevich. A parametric approach to localities. In W. Kuich, editor, Automata, Languages and Programming (ICALP '92), volume 623 of Lecture Notes in Computer Science, pages 617\u2013628, Vienna, July 1992. Springer-Verlag."},{"key":"3_CR15","series-title":"volume 880 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-58715-2_127","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"V. Natarajan","year":"1994","unstructured":"V. Natarajan, L. Christoff, I. Christoff, and R. Cleaveland. Priorities and abstraction in process algebra. In P.S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, volume 880 of Lecture Notes in Computer Science, pages 217\u2013230, Madras, India, December 1994. Springer-Verlag."},{"issue":"6","key":"3_CR16","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R.E. Tarjan. Three partition refinement algorithms. SIAM Journal of Computing, 16(6):973\u2013989, December 1987.","journal-title":"SIAM Journal of Computing"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"D.M.R. Park. Concurrency and automata on infinite sequences. In Proceedings of 5th G.I. Conference on Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, pages 167\u2013183. Springer-Verlag, 1980.","DOI":"10.1007\/BFb0017309"},{"key":"3_CR18","first-page":"469","volume-title":"volume 788 of Lecture Notes in Computer Science","author":"K. V. S. Prasad","year":"1994","unstructured":"K. V. S. Prasad. Broadcasting with priority. In Proceedings of the 5th European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 469\u2013484, Edinburgh, U.K., April 1994. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:49:49Z","timestamp":1640947789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}