Wolfgang Reisig (reisig)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Blass, Andreas, Dershowitz, Nachum and Reisig, Wolfgang, eds. 2010. Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Reisig, Wolfgang. 1989. “Towards a Temporal Logic of Causality and Choice in Distributed Systems.” 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. 603–627. Lecture Notes in Computer Science n. 354. Berlin: Springer.