Title: Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Subjects: Algebra, data processing