Вы здесь

Главная

CWI

Связанные издания:

Annual Report 1987
A process specification formalism based on static COLD
Branching Time and Abstraction in Bisimulation Semantics
Centre for Mathematics and Computer Science (CWI). Frontier research for practical applications
Equivalent Semantics for Process Creation
Mathematics as a Cultural and as a Productive Force
Mathematics as Technology: Mathematical Engineering
Partial order semantics for refinement of actions - neither necessary nor sufficient but appropriate when used with care
Process Algebra: Specification and Verification in Bisimulation Semantics
Reactive, Generative, and Stratified Models of Probabilistic Processes
Readies and Failures in the Algebra of Communicating Processes
Scientific Programme 1989
Specification and Verification of Real Time Systems in ACP
The Algebra of Synchronous Processes