Sciweavers

FORTE
1992

A constraint-oriented real-time process calculus

14 years 18 days ago
A constraint-oriented real-time process calculus
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calculus has a simple definition, encourages constraint-oriented specification and exhibits considerable expressive power.
Colin J. Fidge
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1992
Where FORTE
Authors Colin J. Fidge
Comments (0)