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

Marco Fischer, Andr Windisch, Stefan Frster, Burkhard Balser, Dieter Monjau

Browse the full FDL paper archive.