Home Advanced Search

Advanced Search - Page 1

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
  • PDF
  • English
  • Year: 1993
  • Author: Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.)
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.)
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.)
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
  • PDF
  • English
  • Year: 2013
  • Author: Dave Clarke, James Noble, Tobias Wrigstad (auth.), Dave Clarke, James Noble, Tobias Wrigstad (eds.)
Research Directions in Concurrent Object-Oriented Programming
  • PDF
  • English
  • Year: 1993
  • Author: Gul Agha, Peter Wegner, Akinori Yonezawa