Sciweavers

CONCUR
2005
Springer

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

14 years 2 months ago
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
Jos C. M. Baeten, Mario Bravetti
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where CONCUR
Authors Jos C. M. Baeten, Mario Bravetti
Comments (0)