MPG.eBooks - Search Results

Cover Image

1

Current Trends in Concurrency : Overviews and Tutorials

by Bakker, J.
Published 1986

Springer

Cover Image

2

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

by Bakker, J.
Published 1989

Springer

Cover Image

3

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

by Bakker, J.
Published 1990

Springer

Cover Image

4

Advances in Petri Nets 1984

by Rozenberg, G.
Published 1985

Springer

Cover Image

5

Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings

by Bakker, J.
Published 1991

Springer

Cover Image

6

Advances in Petri Nets 1985

by Rozenberg, G.
Published 1986

Springer

Cover Image

7

Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

by Bakker, J.
Published 1992

Springer

Cover Image

8

Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings

by Bakker, J.
Published 1993

Springer

Cover Image

9

Petri Nets: Applications and Relationships to Other Models of Concurrency : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986...

by Brauer, W.
Published 1987

Springer

Cover Image

10

Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8–19 September 1986

by Brauer, W.
Published 1987

Springer

Cover Image

11

A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

by Bakker, J.
Published 1994

Springer

Cover Image

12

A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg