Publication | Closed Access

Dynamic consistency in process algebra: From Paradigm to ACP

EngineeringAutomated ReasoningConcurrency TheoryProcess ControlDynamic ConsistencyFormal MethodsProcess SpecificationFormal VerificationProcess Calculus