Home Advanced Search

Advanced Search - Page 1

Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gul Agha (auth.), Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
  • PDF
  • English
  • Year: 2001
  • Author: Charles Lakos (auth.), Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (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.)
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.)