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