Action refinement in process algebras
Action refinement in process algebras
Luca Aceto
Details
OL Work ID
OL3861240W
Subjects
Parallel processing (Electronic computers)
Programming languages (Electronic computers)
Semantics
Algebra, data processing
Find this book
Open Library