Concepedia

Adding Action Refinement to a Finite Process Algebra

Luca Aceto, Matthew Hennessy

Information and Computation · 1994 · 46 citations · 0 references

Concepts

ComputingComputer ScienceAlgebraFormal MethodsFinite State Machine ModelingPetri NetsProcess AlgebraProcess ModelingFinite-state ProcessesProcess RepresentationRefinementRefinement AlgebraWeak Bisimulation