-
1
A specification language for coordinated objects.
Опубликовано в: Software engineering notes.Статья -
2
-
3
Deadlock detection in distribution object systems.
Опубликовано в: Software engineering notes.Статья