Author:
de Bruin A.,de VINK E. P.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. J.W. de Bakker, Mathematical Theory of Program Correctness, Prentice Hall International, London (1980).
2. J.W. de Bakker, “Designing Concurrency Semantics,” pp. 591–598 in Proc. 11th World Computer Congress, G.X. Ritter (ed.) (1989).
3. J.W. de Bakker, J.A. Bergstra, J.W. Klop, and J.-J.Ch Meyer, “Linear Time and Branching Time Semantics for Recursion with Merge,” Theoretical Computer Science
34, pp. 135–156 (1984).
4. J.W. de Bakker and J.-J.Ch. Meyer, “Metric Semantics for Concurrency,” BIT
28, pp. 504–529 (1988).
5. J.W. de Bakker, J.-J.Ch Meyer, and J.I Zucker, “On Infinite Computations in Denotational Semantics,” Theoretical Computer Science
26, pp. 53–82 (1983).