Science of Computer Programming, Volume 46

Volume 46, Number 1-2, January - February 2003

• Paolo Ciancarini, Alexander L. Wolf:
  Issues in Coordination Languages and Architectures. 1-3
  
• Candida Attanasio, Flavio Corradini, Paola Inverardi:
  Static analysis of real-time component-based systems configurations. 5-30
  
• Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro:
  Comparing coordination models and architectures using embeddings. 31-69
  
• Antonio Brogi, Jean-Marie Jacquet:
  On the expressiveness of coordination via shared dataspaces. 71-98
  
• Andrew Moran, David Sands, Magnus Carlsson:
  Erratic Fudgets: a semantic theory for an embedded coordination language. 99-135
  
• Antony I. T. Rowstron:
  Using mobile code to provide fault tolerance in tuple space based coordination languages. 137-162
  
• Jan Vitek, Ciarán Bryce, Manuel Oriol:
  Coordinating processes with secure spaces. 163-193
  

Volume 46, Number 3, March 2003

• Hubert Garavel, Stefania Gnesi, Ina Schieferdecker:
  Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. 195-196
  
• Paulo J. F. Carreira, Miguel E. F. Costa:
  Automatically verifying an object-oriented specification of the Steam-Boiler system. 197-217
  
• Florence Maraninchi, Yann Rémond:
  Mode-Automata: a new domain-specific construct for the development of safe critical systems. 219-254
  
• Radu Mateescu, Mihaela Sighireanu:
  Efficient on-the-fly model-checking for regular alternation-free mu-calculus. 255-281
  
• Antoine Requet:
  A B model for ensuring soundness of a large subset of the Java Card virtual machine. 283-306