Journal of Logic and Algebraic Programming, Volume 63

Volume 63, Number 1, April 2005

• Uwe Nestmann, Björn Victor:
  Guest editors' introduction: Special issue on The pi-calculus. 1-2
  
• Matthew Hennessy:
  The security pi-calculus and non-interference. 3-34
  
• Barbara König:
  Analysing input/output-capabilities of mobile processes with a generic type system. 35-58
  
• Jérôme Feret:
  Abstract interpretation of mobile systems. 59-130
  
• Cédric Fournet, Georges Gonthier:
  A hierarchy of equivalences for asynchronous calculi. 131-173
  

Volume 63, Number 2, May-June 2005

• Guest editors' introduction: Special issue on Process Algebra and System Architecture. 175-176
  
• Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez:
  An "abstract process" approach to algebraic dynamic architecture description. 177-214
  
• Andrea Bracciali, Antonio Brogi, Franco Turini:
  A framework for specifying and verifying the behaviour of open systems. 215-240
  
• Mickaël Kerboeuf, Jean-Pierre Talpin:
  Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. 241-269
  
• Nicola Dragoni, Mauro Gaspari:
  An object based algebra for specifying a fault tolerant software architecture. 271-297