Concurrent IMP

Peter Gammie

13 April 2015

Abstract

ConcurrentIMP extends the small imperative language IMP with control non-determinism and constructs for synchronous message passing.
BSD License

Used by

Topics

Theories