- Jan Bergstra, Anna Chmielinska, and Jerzy Tiuryn. Another incompleteness result for
Hoare's logic. Information and Control, 52(2):159-171,
February 1982.
References
and Citations.
- J. A. Bergstra and J. V. Tucker. The completeness of the algebraic
specification methods for computable data types. Information
and Control, 54(3):186-200, September 1982.
References
and Citations.
- J. A. Bergstra and J. W. Klop. Process algebra for synchronous
communication. Information and Control,
60(1-3):109-137, January/February/March 1984.
Citations.
- J. C. M. Baeten and J. A. Bergstra. Global renaming operators in
concrete process algebra. Information and Computation,
78(3):205-245, September 1988.
Abstract,
References,
and Citations.
- J. A. Bergstra and Jan Heering. Homomorphism preserving algebraic
specifications require hidden sorts. Information and
Computation, 119(1):119-123, 15 May 1995.
Abstract
and References.
- J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka. Axiomatizing probabilistic
processes: ACP with generative probabilities. Information and
Computation, 121(2):234-255, September 1995.
Abstract,
References,
and Citations.
Shortcuts: