default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
