Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2016)
We provide a non-interleaving operational semantics for the pi-calculus as asynchronous transition systems, which generalizes the standard interleaving structural operational semantics and unfolds to standard, stable prime ...