{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:23:40Z","timestamp":1736659420392,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"},{"type":"electronic","value":"9783540472933"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0084814","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"534-549","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Programming in a general model of synchronization"],"prefix":"10.1007","author":[{"given":"Steven M.","family":"German","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,30]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt, Logic programming, in Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics, Chapter 10, North Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"issue":"4","key":"37_CR2","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J. Back","year":"1988","unstructured":"R.J. Back and R. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems, 10, 4 (1988) pp. 513\u2013544.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, A. Meyer, Bisimulation can't be traced: preliminary report, in Proceedings of Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, January 1988, pp. 229\u2013239.","DOI":"10.1145\/73560.73580"},{"key":"37_CR4","first-page":"481","volume-title":"Report CS-R9054","author":"R. Bol","year":"1990","unstructured":"R. Bol and J.F. Groote, The meaning of negative premises in transition system specifications, Report CS-R9054, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1990, and in Proceedings of 18 th ICALP, 1991, pp. 481\u2013494."},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, 14(1987), pp. 25\u201359.","journal-title":"Computer Networks and ISDN Systems"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"S. Budkowski and P. Dembinski, An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems 14 (1987), pp. 3\u201323.","journal-title":"Computer Networks and ISDN Systems"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang, Symbolic model checking: 1020 states and beyond, in Proceedings of Fifth Annual IEEE Symposium on Logic in Computer Science, June 1990, pp. 428\u2013439.","DOI":"10.1109\/LICS.1990.113767"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"J. Camilleri, A conditional operator for CCS, in Proceedings of Concur '91, Amsterdam, August 1991.","DOI":"10.1007\/3-540-54430-5_86"},{"key":"37_CR9","unstructured":"CCITT\/SGXI Recommendation Z101 to Z104, Functional Specification and Description Language, 1985."},{"key":"37_CR10","unstructured":"J. Camilleri and G. Winskel, CCS with priority choice, in Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, July 1991."},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, Parallel program design: a foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"2","key":"37_CR12","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla, Automatic verification of finitestate concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 8, 2, April 1986, pp. 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and M. Hennessy, Priorities in process algebras, in Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science, July 1988, pp. 193\u2013202.","DOI":"10.1109\/LICS.1988.5118"},{"key":"37_CR14","unstructured":"N. Francez and I.R. Forman, Interacting processes: a language for coordinated distributed programming, invited paper for Jerusalem Conference on Information Technology, Jerusalem, 1990."},{"issue":"1","key":"37_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N. Francez","year":"1986","unstructured":"N. Francez, B. Hailpern, and G. Taubenfeld, Script: a communication abstraction mechanism, Science of Computer Programming, 6, 1, January 1986, pp. 35\u201388.","journal-title":"Science of Computer Programming"},{"key":"37_CR16","unstructured":"S.M. German, Rapid Prototyping and Verification of Communication Services, GTE Laboratories TM-0369-01-91-152, January 1991."},{"key":"37_CR17","unstructured":"S.M. German, A Language for Specifying Synchronization, GTE Laboratories, October 1991."},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S. Smolka, B. Steffen, and C. Tofts, Reactive, generative, and stratified models of probabilistic processes, in Proceedings of 5th Annual IEEE Symposium on Logic in Computer Science, June 1990, pp. 130\u2013141.","DOI":"10.1109\/LICS.1990.113740"},{"key":"37_CR19","volume-title":"Report CS-R8950","author":"J.F. Groote","year":"1989","unstructured":"J.F. Groote, Transition system specifications with negative premises, Report CS-R8950, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, December 1989, and in J.C.M. Baeten and J.W. Klop, eds., Proceedings of CONCUR 90, Springer-Verlag LNCS 458, pp. 332\u2013341."},{"issue":"8","key":"37_CR20","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, Communicating sequential processes, Communications of the ACM, 21, 8, August 1978, pp. 666\u2013677.","journal-title":"Communications of the ACM"},{"key":"37_CR21","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":"37_CR22","unstructured":"INMOS Ltd., Occam Programming Manual, Prentice Hall, 1984."},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Yuh-Jzer Joung and S.A. Smolka, A Comprehensive Study of the Complexity of Multiparty Interaction, in Proceedings of POPL 1992.","DOI":"10.1145\/143165.143197"},{"key":"37_CR24","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, LNCS 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"37_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"R. de Simone, Higher-level synchronizing devices in Meije-SCCS, Theoretical Computer Science, 37 (1985) pp. 245\u2013267.","journal-title":"Theoretical Computer Science"},{"key":"37_CR26","doi-asserted-by":"crossref","unstructured":"S.A. Smolka and B. Steffen, Priority as extermal probability, in Proceedings of Concur '90, August 1990, Springer-Verlag Lecture Notes in Computer Science 458, pp. 456\u2013466.","DOI":"10.1007\/BFb0039077"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T03:55:49Z","timestamp":1736654149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558224","9783540472933"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0084814","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"30 September 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}