TY - RPRT TI - A process algebra for the Span(Graph) model of concurrency AU - P. Katis AU - N. Sabadini AU - R. F. C. Walters PY - 2009 UR - https://arxiv.org/abs/0904.3964 ID - 0904.3964 ER -