Frame Algebra with Synchronous Communication (0)

Cached

Download Links

by Jan A. Bergstra , Alban Ponse
Venue:Information Systems -- Correctness and Reusability
Citations:11 - 6 self