Concurrent IMP

Peter Gammie 🌐

April 13, 2015

Abstract

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

License

BSD License

Topics

Session ConcurrentIMP

Used by

Cite

× 
@article{ConcurrentIMP-AFP,
  author  = {Peter Gammie},
  title   = {Concurrent IMP},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2015},
  note    = {\url{https://isa-afp.org/entries/ConcurrentIMP.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: