{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:33Z","timestamp":1725642033451},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_10","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"144-159","source":"Crossref","is-referenced-by-count":6,"title":["Refinement and Recursion in a High Level Petri Box Calculus"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"General refinement and recursion operators for the Petri Box Calculus","author":"E Best","year":"1993","unstructured":"E. Best, R. Devillers, and J. Esparza. General refinement and recursion operators for the Petri Box Calculus. In STACS\u201993, P. Enjalbert et al. (eds.), LNCS 665, pp. 130\u2013140. Springer Verlag, 1993."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume":"609","author":"E Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. Advances in Petri Nets 1992, LNCS 609, pp. 21\u201369, 1992.","journal-title":"Advances in Petri Nets 1992"},{"key":"10_CR3","volume-title":"To be presented at ICPN","author":"E Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. To be presented at ICPN\u201995, LNCS, 1995."},{"key":"10_CR4","volume-title":"To be presented at STRICT","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 be presented at STRICT\u201995, LNCS, 1995."},{"key":"10_CR5","first-page":"379","volume":"694","author":"E Best","year":"1993","unstructured":"E. Best and R.P. Hopkins. B(PN)2 -a Basic Petri Net Programming Notation. PARLE-93, LNCS 694, pp. 379\u2013390, 1993.","journal-title":"Basic Petri Net Programming Notation"},{"key":"10_CR6","volume-title":"Invited paper at ICPN","author":"E Best","year":"1995","unstructured":"E. Best and M. Koutny. A refined View of the Box Algebra - a Tutorial- Invited paper at ICPN\u201995, LNCS, 1995."},{"key":"10_CR7","volume-title":"Invited paper at ICALP95","author":"E Best","year":"1995","unstructured":"E. Best and M. Koutny. Solving Recursive Net Equations. Invited paper at ICALP\u201995, LNCS, 1995."},{"key":"10_CR8","volume-title":"Computer Science 2: Research and Applications, pp. 411\u2013428, Plenum Publishing","author":"R Devillers","year":"1994","unstructured":"R. Devillers: S-invariant Analysis of General Refined Petri Boxes. In Computer Science 2: Research and Applications, pp. 411\u2013428, Plenum Publishing, 1994."},{"key":"10_CR9","volume-title":"The Synchronisation Operator Revisited for the Petri Box Calculus. Technical Report LIT-290","author":"R Devillers","year":"1994","unstructured":"R. Devillers. The Synchronisation Operator Revisited for the Petri Box Calculus. Technical Report LIT-290, Universit\u00e9 Libre de Bruxelles, February 1994."},{"key":"10_CR10","volume-title":"To appear in Acta Informatica","author":"R Devillers","year":"1995","unstructured":"R. Devillers. S-invariant Analysis of General Recursive Petri Boxes. To appear in Acta Informatica, 1995."},{"key":"10_CR11","volume-title":"Prentice-Hall","author":"JA Goguen","year":"1978","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. Current Trends in Programming Methodology, vol. 4, pp. 80\u2013149, Prentice-Hall, 1978."},{"key":"10_CR12","first-page":"267","volume":"430","author":"U Goltz","year":"1989","unstructured":"U. Goltz and R.J. van Glabbeek: Refinement of Actions in Causality Based Models. Proc. of REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, pp. 267\u2013300, 1989.","journal-title":"Proc. of REX Workshop on Stepwise Refinement of Distributed Systems"},{"key":"10_CR13","volume-title":"Communication as Unification in the Petri Box Calculus","author":"H Klaudel","year":"1995","unstructured":"H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. To be presented at FCT95, LNCS, 1995."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"10_CR15","first-page":"1","volume":"80","author":"W Reisig","year":"1991","unstructured":"W. Reisig. Petri nets and algebraic specifications. TCS 80, pp. 1\u201334, 1991.","journal-title":"Petri nets and algebraic specifications"},{"key":"10_CR16","first-page":"293","volume":"266","author":"J Vautherin","year":"1987","unstructured":"J. Vautherin. Parallel systems specification with colored Petri nets and algebraic specification. Advances in Petri Nets 1987, LNCS 266, pp. 293\u2013308, 1987.","journal-title":"Advances in Petri Nets"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:17:34Z","timestamp":1561058254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}