Abstract
The axiom system ACP of [BEK84a] was extended to cliscrete time in [BAB95]. Here we proceed to define the silent step in this theory in branching bisimulation semantics [GLW91, BAW90] rather than weak bisimulation semantics [MIL89, BEK85]. We present versions based on relative timing and on absolute timing. Both approaches
... read more