@misc{indiciaec95ac7fbc690, title = {A process algebra for the Span(Graph) model of concurrency}, author = {P. Katis and N. Sabadini and R. F. C. Walters}, year = {2009}, url = {https://arxiv.org/abs/0904.3964}, note = {Source identifier: 0904.3964} }