{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:47:41Z","timestamp":1725630461204},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133483"},{"type":"electronic","value":"9783642696985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69698-5_11","type":"book-chapter","created":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T06:48:36Z","timestamp":1320648516000},"page":"127-138","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Validating Broadcasting-Free Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Stanislaw","family":"Budkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Bochman G.V., Finite State Description of Communication Protocols, Comp. Network, Vol. 2 Oct 1978.","DOI":"10.1016\/0376-5075(78)90015-6"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TC.1983.1676197","volume":"032","author":"GV Bochman","year":"1983","unstructured":"Bochman G.V., Structured Specification of Communicating Systems, IEEE Transaction on Comp. Vol. 0\u201332, Feb.1983, pp. 120\u2013133","journal-title":"IEEE Transaction on Comp"},{"key":"11_CR3","volume-title":"Verification of Protocols using Symbolic Execution, Comp. Networks","author":"D Brand","year":"1978","unstructured":"Brand D.,Joyner H.Jr., Verification of Protocols using Symbolic Execution, Comp. Networks No. 2, 1978"},{"key":"11_CR4","volume-title":"Generation of a Global System Description from the Description of its Cooperating Subsystems, Proc. 4-th International Workshop on Protocol Specification, Testing and Verification","author":"S Budkowski","year":"1984","unstructured":"Budkowski S., Generation of a Global System Description from the Description of its Cooperating Subsystems, Proc. 4-th International Workshop on Protocol Specification, Testing and Verification, Skytop, Pennslvania, June 11\u201314, 1984"},{"key":"11_CR5","volume-title":"Structured Finite State Automata, Proc. IFIP WG.6.1 3-rd International Workshop on Protocol Specification, Testing and Verification","author":"S Budkowski","year":"1983","unstructured":"Budkowski S., Najm E., Structured Finite State Automata, Proc. IFIP WG.6.1 3-rd International Workshop on Protocol Specification, Testing and Verification, Ruschlikon, Switherland, 31 May - 2 June, 1983"},{"key":"11_CR6","volume-title":"Formal Program Verification Using Symbolic Execution, IEEE Trans.on Soft. Eng","author":"RB Dannerberg","year":"1982","unstructured":"Dannerberg R.B. and Ernst G.W., Formal Program Verification Using Symbolic Execution, IEEE Trans.on Soft. Eng., vol. SE-8,No. 1, January 1982"},{"key":"11_CR7","first-page":"21","volume":"8","author":"CAR Hoare","year":"1978","unstructured":"Hoare C.A.R.,Communicating Sequential Processes, Comm.of the ACM, vol. 21,No. 8, August 1978","journal-title":"Comm.of the ACM"},{"key":"11_CR8","volume-title":"An algebraic approach to the theory of programs,languages and recursiveness, Proc. Int. Symp. and Summer School on Mathematical Fundation of Comp","author":"A Blikle","year":"1972","unstructured":"Blikle A., Mazurkiewicz A., An algebraic approach to the theory of programs,languages and recursiveness, Proc. Int. Symp. and Summer School on Mathematical Fundation of Comp. Science, Warsaw-Jablonna, August 1972"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P Merlin","year":"1983","unstructured":"MEB 83\/ Merlin P., Bochman G.V, On the Construction of Submodule Specification and Communication Protocols, ACM Transaction on Programming Languages and Systems, Vol. 5, No. 1, Jan.1983, pp. 1\u201325","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"11_CR10","volume-title":"Lecture Notes in Computer Science,No.92,Springer Verlag","author":"R Milner","year":"1980","unstructured":"Milner R., A Calculus of Communicating Systems. Lecture Notes in Computer Science,No.92,Springer Verlag 1980"},{"key":"11_CR11","volume-title":"Rep","author":"P Prusinkiewicz","year":"1980","unstructured":"Prusinkiewicz P., Analysis of Cooperating Digital Units (in polish), Res. Rep. No. 16, Institute of Computer Science, Warsaw Technical University, Warsaw, 1980."},{"key":"11_CR12","volume-title":"Testing and Verification May 31 - June","author":"O Rafiq","year":"1983","unstructured":"Rafiq O., Ansart J.P.,VADILOC: A protocol validator and its applications, Proc. IFIP WG 6.1 Third Int. Workshop on Protocol Specification, Testing and Verification May 31 - June 2, Ruschlikon, Switzerland 1983."},{"key":"11_CR13","volume-title":"An Improved Protocol Validation Technique, Computer Networks","author":"J Rubin","year":"1982","unstructured":"Rubin J., West C.H., An Improved Protocol Validation Technique, Computer Networks, Vol. 6, 1982."},{"key":"11_CR14","volume-title":"Towards Analysis and Synthesizing Protocols, IEEE Trans. on Comm","author":"P Zafiropulo","year":"1980","unstructured":"Zafiropulo P., West C.H., Rudin H., Towards Analysis and Synthesizing Protocols, IEEE Trans. on Comm, Vol.COM-78, No. 4 April 1980."}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69698-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T04:38:07Z","timestamp":1560919087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69698-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133483","9783642696985"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69698-5_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}