Partial order semantics of Box expressions-Reference-Cited by-同舟云学术

Partial order semantics of Box expressions

Published:1994 Issue: Volume: Page:318-337
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Koutny Maciej

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58152-9_18.pdf

Reference25 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 in the Box Calculus. Proc. of STACS-93, Springer-Verlag Lecture Notes in Computer Science Vol. 665, 130–140 (1993).

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

4. E.Best and R.P.Hopkins: B(PN) 2 — a Basic Petri Net Programming Notation. Proc. of PARLE-93, Springer-Verlag Lecture Notes in Computer Science Vol. 694, 379–390 (1993).

5. E.Best and H.G.Linde-Göers: Compositional Process Semantics of Petri Boxes. Proc. of MFPS (Mathematical Foundations of Programming Semantics), Springer-Verlag Lecture Notes in Computer Science (1993).

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

1. A causal, time-independent synchronization pattern for collective adaptive systems;International Journal on Software Tools for Technology Transfer;2023-11-24

2. Discrete Models of Continuous Behavior of Collective Adaptive Systems;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

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

4. An Axiomatisation of Duplication Equivalence in the Petri Box Calculus;Application and Theory of Petri Nets 1998;1998

5. S-invariant analysis of general recursive Petri boxex;Acta Informatica;1995-04