Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

Harald Fecher, Heiko Schmidt. Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electronic Notes in Theoretical Computer Science, 192(1):45-60, 2007. [doi]

Abstract

Abstract is missing.