A process algebra for the Span(Graph) model of concurrency
From MaRDI portal
Publication:6213672
arXiv0904.3964MaRDI QIDQ6213672
Robert F. C. Walters, Piergiulio Katis, Nicoletta Sabadini
Publication date: 25 April 2009
This page was built for publication: A process algebra for the Span(Graph) model of concurrency