Proof-relevant π-calculus: a constructive account of concurrency and causality

From MaRDI portal
Publication:4691184

DOI10.1017/S096012951700010XzbMath1400.68142arXiv1604.04575MaRDI QIDQ4691184

James Cheney, Roly Perera

Publication date: 19 October 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.04575




Related Items (3)


Uses Software



Cites Work




This page was built for publication: Proof-relevant π-calculus: a constructive account of concurrency and causality