Author:
Glabbeek Rob,Goltz Ursula
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. D. Austry, G. Boudol: Algèbre de processus et synchronisations, Theoretical Computer Science, Vol. 30, pp. 91–131, 1984
2. L. Aceto, M. Hennessy: Towards Action-Refinement in Process Algebras, Report 3/88, Computer Science, University of Sussex, Brighton, 1988
3. G. Boudol, I. Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems, Proc. TAPSOFT 87, Vol. I, LNCS 249, Springer-Verlag, pp 123–137, 1987
4. G. Boudol, I. Castellani: Permutation of Transitions: An Event Structure Semantics for CCS and SCCS, handout at the REX School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, The Netherlands, May 30–June 3, 1988
5. S.D. Brookes, C.A.R. Hoare, A.W. Roscoe: A Theory of Communicating Sequential Processes, Journal of the ACM, Vol. 31, No. 3, pp 560–599, 1984
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献