Sciweavers

3868 search results - page 42 / 774
» Open Systems in TLA
Sort
View
ATAL
2003
Springer
15 years 7 months ago
Interaction is meaning: a new model for communication in open systems
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...
ESAW
2003
Springer
15 years 7 months ago
Engineering Democracy in Open Agent Systems
Peter McBurney, Simon Parsons
APSEC
2002
IEEE
15 years 6 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...