Discrete Time Process Algebra - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jos C. M. Baeten, Jan A. Bergstra. Discrete Time Process Algebra. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 401-420, Springer, 1992.

The following publications are possibly variants of this publication:

Discrete Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. fac, 8(2):188-208, 1996.

Discrete time process algebra with silent stepJos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers. BIRTHDAY 2000: 535-570

Discrete Time Process Algebra with AbstractionJos C. M. Baeten, Jan A. Bergstra. fct 1995: 1-15

Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric TimeJos C. M. Baeten, Jan A. Bergstra. FUIN, 29(1-2):51-76, 1997.

runs on WebDSL