-
1
A specification language for coordinated objects.
Pubblicato in Software engineering notes.Articolo -
2
-
3
Deadlock detection in distribution object systems.
Pubblicato in Software engineering notes.Articolo