{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:36Z","timestamp":1725664716442},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:57:58Z","timestamp":1330261078000},"page":"303-312","source":"Crossref","is-referenced-by-count":6,"title":["Communication as unification in the Petri Box Calculus"],"prefix":"10.1007","author":[{"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano and G. Reggio. Algebraic specification of concurrency. In Recent Trends in Data Type specification, LNCS 655, 1993.","DOI":"10.1007\/3-540-56379-2_33"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Esparza. General refinement and recursion operators for the Petri Box Calculus. In STACS'93, LNCS 665, 1993.","DOI":"10.1007\/3-540-56503-5_16"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Hall. The box calculus: a new causal algebra with multi-label communication. In Advances in PN-92, LNCS 609, 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. To appear in ICPN-95, Torino, LNCS, June 1995.","DOI":"10.1007\/3-540-60029-9_36"},{"key":"25_CR5","volume-title":"STRICT-95","author":"E. Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A High Level Petri Net Semantics of B(PN) 2. To appear in WiC Springer, STRICT-95, Berlin, May 1995."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"E. Best and R.P. Hopkins. B(PN)2 \u2014 A Basic Petri Net Programming Notation. In PARLE-93, LNCS 694, 1993.","DOI":"10.1007\/3-540-56891-3_30"},{"key":"25_CR7","unstructured":"R. Devillers. On a more liberal synchronization operator for the Petri Box Calculus. LIT TR 281, Universit\u00e9 Libre de Bruxelles, May 1993."},{"key":"25_CR8","volume-title":"STRICT-95","author":"R. Devillers","year":"1995","unstructured":"R. Devillers and H. Klaudel. Refinement and Recursion in a High Level Petri Box Calculus. To appear in WiC Springer, STRICT-95, Berlin, May 1995."},{"key":"25_CR9","unstructured":"W. Fraczak and H. Klaudel. A multi-action synchronization schema and its application to the PBC. In ESDA-94, ASME, July 1994."},{"key":"25_CR10","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, vol. 4, Prentice-Hall, 1978."},{"key":"25_CR11","volume-title":"LRI TR 967","author":"H. Klaudel","year":"1995","unstructured":"H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. LRI TR 967, Universit\u00e9 Paris-Sud, Orsay, April 1995."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri nets and algebraic specifications. TCS, vol. 80, 1991.","DOI":"10.1007\/978-3-642-84524-6_4"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"J. Vautherin. Parallel systems specification with colored Petri nets and algebraic specification. In Advances in PN 1987, LNCS 266, 1987.","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:56:43Z","timestamp":1605628603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}