M. Fischer, André Windisch, Stefan Förster, B. Balser, Dieter Monjau. A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 447-456, ECSI, 2003. [doi]
Abstract is missing.