A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).

Ralph-Johan Back, Heikki Mannila

Browse the full PODC paper archive.