The decomposition of ESM computations
The work presented continues the exploration of the value of ESM systems as a model of concurrent computation. In  and  a true concurrent semantics for these systems is presented, where concurrent histories are represented by process objects, called computation structures. In this paper it is shown that, if one refines the notion of a computation structure in a suitable way, then each computation structure can be decomposed according to an arbitrary partitioning of the system into subsets of rules. As a result the semantics is compositional with respect to the union of sets of rules. An application to some variants of Petri nets is sketched.
Unable to display preview. Download preview PDF.
- 1.A. Corradini, H.Ehrig, M.Löwe, U.Montanari and F.Rossi, Abstract Graph derivations in the Double-Pushout Approach, in Graph-Transformations in Computer Science, Lecture Notes in Computer Science, vol. 776, Springer-Verlag, Berlin, 1994, 86–103.Google Scholar
- 2.C. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.Google Scholar
- 3.M. Koutny, J. Esparza and E. Best, Operational semantics for the Petri box calculus, in CONCUR '94, Lecture Notes in Computer Science, vol. 836, Springer-Verlag, Berlin, 1994, 210–225.Google Scholar
- 4.D. Janssens, M.Lens and G.Rozenberg, Computation Graphs for Actor Grammars, Journal of Computer and System Sciences, 46 (1993), 60–90.Google Scholar
- 5.D. Janssens, ESM Systems and the Composition of Their Computations, in Graph-Transformations in Computer Science, Lecture Notes in Computer Science, vol. 776, Springer-Verlag, Berlin, 1994, 203–217.Google Scholar
- 6.D. Janssens and T. Mens, Abstract semantics for ESM systems, Fundamenta Informaticae, to appear (also available as: UIA report 95-04, dept. of Math. and Comp. Sci., University of Antwerp).Google Scholar
- 7.R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92, Springer-Verlag, Berlin, 1980.Google Scholar
- 8.W. Reisig, Petri Nets, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985.Google Scholar