{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:24Z","timestamp":1725494964942},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653882"},{"type":"electronic","value":"9783540493662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_21","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"282-299","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Characterisation of Finite-State Message-Passing Systems"],"prefix":"10.1007","author":[{"given":"Madhavan","family":"Mukund","sequence":"first","affiliation":[]},{"given":"K. Narayan","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Jaikumar","family":"Radhakrishnan","sequence":"additional","affiliation":[]},{"given":"Milind","family":"Sohoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"P.A. Abdulla and B. Jonsson: Verifying programs with unreliable channels, in Proc. 8th IEEE Symp. Logic in Computer Science, Montreal, Canada 1993.","DOI":"10.1109\/LICS.1993.287591"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0022-0000(80)90009-4","volume":"20","author":"A. Ginzburg","year":"1980","unstructured":"A. Ginzburg and M. Yoeli: Vector Addition Systems and Regular Languages, J. Comput. System. Sci. 20 1980 277\u2013284","journal-title":"J. Comput. System. Sci."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S.A. Greibach","year":"1978","unstructured":"S.A. Greibach: Remarks on Blind and Partially Blind One-Way Multicounter Machines, Theoret. Comput. Sci 7 1978 311\u2013324.","journal-title":"Theoret. Comput. Sci"},{"key":"21_CR4","unstructured":"M. Hack: Petri Net Languages, C.S.G. Memo 124, Project MAC, MIT 1975."},{"key":"21_CR5","unstructured":"G.J. Holzmann: Design and validation of computer protocols, Prentice Hall 1991."},{"key":"21_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BFb0046847","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets, 1986, Vol 1","author":"M. Jantzen","year":"1986","unstructured":"M. Jantzen: Language Theory of Petri Nets, in W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets, 1986, Vol 1, Springer LNCS 254 1986 397\u2013412."},{"issue":"4","key":"21_CR7","first-page":"167","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"R.M. Karp and R.E. Miller: Parallel Program Schemata, J. Comput. System Sci., 3(4) 1969 167\u2013195.","journal-title":"J. Comput. System Sci."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms, Technical Report MIT\/LCS\/TR-387, Laboratory for Computer Science, MIT 1987.","DOI":"10.1145\/41840.41852"},{"key":"21_CR9","volume-title":"Report DAIMI-PB-78","author":"A. Mazurkiewicz","year":"1978","unstructured":"A. Mazurkiewicz: Concurrent Program Schemes and their Interpretations, Report DAIMI-PB-78, Computer Science Department, Aarhus University, Denmark 1978."},{"key":"21_CR10","volume-title":"Report TCS-97-4","author":"M. Mukund","year":"1997","unstructured":"M. Mukund, K. Narayan Kumar, J. Radhakrishnan and M. Sohoni: Message-Passing Automata and Asynchronous Communication, Report TCS-97-4, SPIC Mathematical Institute, Madras, India 1997."},{"key":"21_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ICALP 98","author":"M. Mukund","year":"1998","unstructured":"M. Mukund, K. Narayan Kumar, J. Radhakrishnan and M. Sohoni: Robust Asynchronous Protocols are Finite-State, Proc. ICALP 98, Springer LNCS 1998 (to appear)."},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/3-540-19488-6_133","volume-title":"Proc. ICALP\u2019 88","author":"P. Panangaden","year":"1988","unstructured":"P. Panangaden and E.W. Stark: Computations, Residuals, and the Power of Indeterminacy, in T. Lepisto and A. Salomaa (eds.), Proc. ICALP\u2019 88, Springer LNCS 317 1988 439\u2013454."},{"key":"21_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BFb0039620","volume-title":"Proc. STACS 87","author":"E. Pelz","year":"1987","unstructured":"E. Pelz: Closure Properties of Deterministic Petri Nets, Proc. STACS 87, Springer LNCS 247, 1987 371\u2013382."},{"key":"21_CR14","unstructured":"J.L. Peterson: Petri net theory and the modelling of systems, Prentice Hall 1981."},{"key":"21_CR15","first-page":"299","volume":"20","author":"R. Valk","year":"1980","unstructured":"R. Valk and G. Vidal-Naquet: Petri Nets and Regular Languages, J. Comput. System. Sci. 20 1980 299\u2013325.","journal-title":"J. Comput. System. Sci."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"G. Vidal-Naquet: Deterministic languages for Petri nets, Application and Theory of Petri Nets, Informatik-Fachberichte 52, Springer-Verlag 1982.","DOI":"10.1007\/978-3-642-68353-4_34"},{"key":"21_CR17","first-page":"99","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"W. Zielonka: Notes on Finite Asynchronous Automata, R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl., 21 1987 99\u2013135.","journal-title":"R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T10:16:59Z","timestamp":1556965019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}