presented at event 22nd International Colloquium on Automata, Languages and Programming (ICALP 95) Conference
keywords Computer Science Computer Science, Theory & Methods Petri nets Science & Technology Technology denotational semantics recursion