Author:
Best Eike,Devillers Raymond,Hall Jon G.
Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. J.C.M.Baeten and W.P.Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science (1990).
2. J.W.de Bakker and J. Zucker: Processes and the Denotational Semantics of Concurrency. Information and Control 54, 70–120 (1984).
3. E.Best: Relational Semantics of Concurrent Programs (with some Applications). Formal Description of Programming Concepts II (ed. D.BjØrner), North Holland, pp.431–452 (1982).
4. 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).
5. E. Best: COSY and its Relationship to CSP. Second Advanced Course on Petri Nets, Bad Honnef, Springer-Verlag Lecture Notes in Computer Science Vol. 255, 416–440 (1986).
Cited by
83 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献