Grid Protocols based on Synchronous Communication: Specification and Correctness (0)

Cached

Download Links

by Jan Bergstra , Joris Hillebrand , Alban Ponse
Venue:Science of Computer Programming
Citations:5 - 1 self