Publication | Closed Access
Action Refinement
75
Citations
0
References
1999
Year
Unknown Venue
Process AlgebrasProcess CalculusEngineeringRepresentation TheoryAction RefinementAutomated ReasoningFormal MethodsProcess ControlBusinessProcess SpecificationAction LanguageProcess MiningProcess AlgebraProcess Discovery
This paper is a thourough survey on the state of the art of action refinement in process algebras, with a historical perspective. (To appear as Chapter XVI of the Handbook of Process Algebra, Elsevier Science, 1999.)