Skip to content

A constraint-oriented real-time process calculus.

Colin J. Fidge

VenueCFORTE
Year1992
ProceedingsFORTE

Browse the full FORTE paper archive.