@dblp

A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.

, , , , and . FDL, page 447-456. ECSI, (2003)

Links and resources

Tags