Sciweavers

39362 search results - page 100 / 7873
» Global Computing Systems
Sort
View
ICNP
1995
IEEE
15 years 5 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann