holden-harewood documents

Event structures Mauro Piccolo. Interleaving Models Trace Languages: computation described through a non-deterministic choice between all sequential
Documents Event structures Mauro Piccolo. Interleaving Models Trace Languages: computation described through a non-deterministic choice between all sequential