Вы здесь

Главная

Univ. Amsterdam

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

Algebra of States and Transitions
A Tool Interface Language for PSF
Computing Distinguishing Formulas for Branching Bisimulation
Design of a Specification Language by Abstract Syntax Engineering (prliminary version)
Hybrid implementations of algebraic specifications
Module Algebra
On the Register Operator
Process Algebra for Synchronous Communication and Observation
Process Algebra with a Zero Object
Real Space Process Algebra
Term Rewriting Analysis in Process Algebra
The Implementation of Process Algebra Specifications in POOL-T