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

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]

Authors

M. Fischer

This author has not been identified. Look up 'M. Fischer' in Google

André Windisch

This author has not been identified. Look up 'André Windisch' in Google

Stefan Förster

This author has not been identified. Look up 'Stefan Förster' in Google

B. Balser

This author has not been identified. Look up 'B. Balser' in Google

Dieter Monjau

This author has not been identified. Look up 'Dieter Monjau' in Google