Sign in
Join Literal
Authors
Author
J. A. Bergstra
Books
J. A. Bergstra, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)., J. W. Klop, E.-R. Olderog
Failures Without Chaos: a New Process Semantics for Fair Abstraction
Failures Without Chaos: a New Process Semantics for Fair Abstraction
J. A. Bergstra, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)., J. W. Klop, E.-R. Olderog
Algebraic Specification
J. Heering, Paul Klint, J. A. Bergstra
