Ludwik Czaja
-
Interpreted Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)