General refinement and recursion operators for the Petri Box calculus-Reference-Cited by-同舟云学术

General refinement and recursion operators for the Petri Box calculus

Published:1993 Issue: Volume: Page:130-140
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Best Eike,Devillers Raymond,Esparza Javier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56503-5_16.pdf

Reference14 articles.

1. J.C.M.Baeten and W.P.Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science (1990).

2. E.Best, R.Devillers and J.Esparza: General Refinement and Recursion Operators for the Box Calculus. Hildesheimer Informatikbericht (December 1992).

3. E.Best, R.Devillers and J.Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992. Springer-Verlag Lecture Notes in Computer Science Vol. 609, 21–69 (1992).

4. E.Best and H.G.Linde-Göers: Compositional Process Semantics of Petri Boxes. Hildesheimer Informatikbericht (December 1992).

5. G.Boudol and I.Castellani: Flow Models of Distributed Computations: Event Structures and Nets. Rapport de Recherche, INRIA, Sophia Antipolis (July 1991).

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. M-nets: a survey;Acta Informatica;2008-10-10

2. General parameterised refinement and recursion for the M-net calculus;Theoretical Computer Science;2003-05

3. Hierarchical Timed High Level Nets and Their Branching Processes;Applications and Theory of Petri Nets 2003;2003

4. The Box Algebra=Petri Nets+Process Expressions;Information and Computation;2002-10

5. On the Compatibility of Model and Model-Class Transformations;Recent Trends in Algebraic Development Techniques;2002