Artículos relacionados a Introduction to Concurrency Theory: Transition Systems...
Introduction to Concurrency Theory: Transition Systems and CCS - Tapa blanda
Libro 38 de 44: Texts in Theoretical Computer Science. An EATCS
Sinopsis
Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.