Concurrent IMP

Peter Gammie 🌐

April 13, 2015

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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: