Home Advanced Search

Advanced Search - Page 1

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
  • DJVU
  • English
  • Year: 1987
  • Author: W. Brauer, W. Reisig, G. Rozenberg (auth.), W. Brauer, W. Reisig, G. Rozenberg (eds.)
Lectures on Petri Nets I: Basic Models: Advances in Petri Nets
  • DJVU
  • English
  • Year: 1998
  • Author: W. Reisigs, G. Rozenberg (auth.), Wolfgang Reisig, Grzegorz Rozenberg (eds.)
Abstract Computing Machines: A Lambda Calculus Perspective
  • PDF
  • English
  • Year: 2005
  • Author: Prof. Dr. W. Kluge (auth.), Prof. Dr. W. Brauer, Prof. Dr. G. Rozenberg, Prof. Dr. A. Salomaa (eds.)
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
  • PDF
  • English
  • Year: 2003
  • Author: H. Weber, H. Ehrig, W. Reisig, A. Borusan (auth.), Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Current Trends in Concurrency: Overviews and Tutorials
  • PDF
  • English
  • Year: 1986
  • Author: A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • PDF
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)