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.

• Type: Conference
• Year: 1992
• Where: FORTE
• Authors: Colin J. Fidge
• Keywords: Considerable Expressive Power, FORTE 1992, FORTE 2007, Real-time Extension, True Concurrency Semantics