Sciweavers

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