Author:
Best Eike,Linde-Göers Hans-Günther
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. J.C.M.Baeten and W.P.Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science (1990).
2. E.Best: Concurrent Behaviour: Sequences, Processes and Axioms. Seminar on Concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 9–11, 1984 (eds. S.D.Brookes; A.W.Roscoe; G.Winskel) Springer-Verlag Lecture Notes in Computer Science Vol. 197, 221–245 (1985).
3. E.Best and R.Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science Vol. 55, 87–136 (1987).
4. E.Best, R.Devillers and J.Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Proceedings of STACS-93, P. Enjalbert et al. (eds.). Springer-Verlag Lecture Notes in Computer Science Vol. 665, 130–140 (1993).
5. E.Best, R.Devillers and J.G.Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. In: DEMON Special Volume of the Advances in Petri Nets (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science Vol.609, 21–69 (1992).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献