Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata

Markus Lumpe. Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. Electronic Notes in Theoretical Computer Science, 263:179-195, 2010. [doi]

Abstract

Abstract is missing.