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

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
Electronic Edition (link) BibTeX
Paulo J. F. Carreira, Miguel E. F. Costa:
Automatically verifying an object-oriented specification of the Steam-Boiler system. 197-217
Electronic Edition (link) BibTeX
Florence Maraninchi, Yann Rémond:
Mode-Automata: a new domain-specific construct for the development of safe critical systems. 219-254
Electronic Edition (link) BibTeX
Radu Mateescu, Mihaela Sighireanu:
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. 255-281
Electronic Edition (link) BibTeX
Antoine Requet:
A B model for ensuring soundness of a large subset of the Java Card virtual machine. 283-306
Electronic Edition (link) BibTeX