打包 发表于 2025-3-28 18:07:38

Introduction to Process Algebra978-3-662-04293-9Series ISSN 1862-4499 Series E-ISSN 1862-4502

Amnesty 发表于 2025-3-28 22:39:46

Basic Process Algebra,This chapter presents a basic framework for process algebra. It introduces simple operators that enable us to construct finite processes from scratch.
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Introduction to Process Algebra; Wan Fokkink Textbook 2000 Springer-Verlag Berlin Heidelberg 2000 Hardware.algebra.logic.model checking.se