Nondeterministic automata with concurrency relations and domains

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017483 ◽

2005 ◽

pp. 202-217 ◽

Cited By ~ 8

Author(s):

Dietrich Kuske

Download Full-text