Sciweavers

4866 search results - page 47 / 974
» UML for Global Computing
Sort
View
102
Voted
SPDP
1992
IEEE
15 years 8 months ago
Debugging Dynamic Distributed Programs Using Global Predicates
Yoshifumi Manabe, Shigemi Aoyagi
ICNP
1995
IEEE
15 years 7 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann