Science of Computer Programming, Volume 46
Volume 46, Number 1-2, January - February 2003
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team