Olderog, Ernst-Rüdiger

Failure semantics with fair abstraction / J.A. Bergstra, J.W. Klop, E.-R. Olderogschema:ProductModel Failures without chaos : a new process semantics for fair abstraction / J.A. Bergstra, J.W. Klop, E.-R. Olderogschema:ProductModel Failures without chaos : a new processs semantics for fair abstraction / J.A. Bergstra, J.W. Klopschema:ProductModel Hiding in stream semantics of uniform concurrency / J.-J. Ch. Meyer, E.-R. Olderogschema:ProductModel Hiding in stream semantics of uniform concurrency / J.-J. Ch. Meyer, E.R. Olderogschema:ProductModel Infinite streams and finite observations in the semantics of uniform concurrency / J.W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderogschema:ProductModel Infinite streams and finite observations in the semantics of uniform concurrency / J.W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderogschema:ProductModel Introduction to program verification / K.R. Apt, E.-R. Olderogschema:ProductModel Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994 / ed. by Ernst-Rüdiger Olderogschema:ProductModel Proving termination of parallel programs / K.R. Apt, F.S. de Boer, E.-R. Olderogschema:ProductModel Proving termination of parallel programs / K.R. Apt, F.S. de Boer, E.R. Olderogschema:ProductModel Readies and failures in the algebra of communicating processes / J.A. Bergstra, J.W. Klop, E.-R. Olderogschema:ProductModel Readies and failures in the algebra of communicating processes / J.A. Bergstra, J.W. Klop, E.-R. Olderogschema:ProductModel

Using transformations to verify parallel programs / E.-R. Olderog, K.R. Aptschema:ProductModel