![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.