Discrete time process algebra-Reference-Cited by-同舟云学术

Discrete time process algebra

Published: Issue: Volume: Page:401-420
ISSN:
Container-title:CONCUR '92
language:
Short-container-title:

Author:

Baeten J. C. M.,Bergstra J. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0084806.pdf

Reference20 articles.

1. J.C.M. Baeten & J.A. Bergstra, Real time process algebra. Formal Aspects of Computing 3 (2), 1991, pp. 142–188.

2. J.C.M. Baeten & J.A. Bergstra, A survey of axiom systems for process algebras, report P9111, Programming Research Group, University of Amsterdam 1991.

3. J.C.M. Baeten & J.A. Bergstra, Process algebra with signals and conditions, report CS-R9103, CWI, Amsterdam 1991. To appear in Proc. NATO Summer School, Marktoberdorf 1990 (M. Broy, ed.), Springer Verlag.

4. J.C.M. Baeten & J.A. Bergstra, Real space process algebra, report CSN 92/03, Dept. of Comp. Sci., Eindhoven University of Technology 1992.

5. J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990.

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

1. A Complete Axiomatization of Finite-state ACSR Processes;Information and Computation;1997-11

2. Formalizing process algebraic verifications in the calculus of constructions;Formal Aspects of Computing;1997-01

3. Discrete time process algebra;Formal Aspects of Computing;1996-03

4. Real Time Process Algebra with Infinitesimals;Workshops in Computing;1995

5. Discrete time process algebra with abstraction;Fundamentals of Computation Theory;1995