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

Deep cut – we couldn't find a description for this book.