Author:
Baeten J. C. M.,Bergstra J. A.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. J.C.M. Baeten & J.A. Bergstra, Real time process algebra, Formal Aspects of Computing 3 (2), 1991, pp. 142–188 (original version: report P8916, Programming Research Group, University of Amsterdam 1989).
2. J.C.M. Baeten & J.A. Bergstra, Process algebra with a zero object, in: Proc. CONCUR 90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), Springer LNCS 458, 1990, pp. 83–98.
3. J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in TCS 18, Cambridge University Press 1990.
4. J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60, 1984, pp. 109–137.
5. J.A. Bergstra & J.W. Klop, Algebra of communicating processes with abstraction, TCS 37, 1985, pp. 77–121.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Time in Cyber-Physical Systems Specifications, Modeling and Measurements;International Journal of Mathematical Models and Methods in Applied Sciences;2021-11-23
2. A Generic Process Algebra;Electronic Notes in Theoretical Computer Science;2006-09
3. A brief history of process algebra;Theoretical Computer Science;2005-05
4. A Ground-Complete Axiomatization of Finite State Processes in Process Algebra;Lecture Notes in Computer Science;2005
5. Approximative analysis by process algebra with graded spatial actions;Algebraic Methodology and Software Technology;1996