@dblp

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.

, , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)

Links und Ressourcen

Tags