Jan A. Bergstra (bergstra)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Baeten, Jos C. M., Bergstra, Jan A. and Bol, R. N. 1994. “A Real Time Process Logic.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 30–47. Lecture Notes in Computer Science n. 827. Berlin: Springer.
van Benthem, Johan and Bergstra, Jan A. 1995. “Logic of Transition Systems.” Journal of Logic, Language, and Information 4(4): 247–283.
Bergstra, Jan A., Heering, J. and Klint, P., eds. 1989. Algebraic Specification. Reading, Massachusetts: Addison-Wesley.
Bergstra, Jan A. and Klop, Jan Willem. 1989. “Process Theory Based on Bisimulation Semantics.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 50–122. Lecture Notes in Computer Science n. 354. Berlin: Springer.