Search CORE

3 research outputs found

A Consistent Causality-Based View on a Timed Process Algebra

Author: Bolognesi Tommaso
Brinksma Ed
Katoen Joost-Pieter
Langerak Rom
Latella Diego
Publication venue
Publication date: 18/11/1996
Field of study

University of Twente Research Information

A dynamic approach to timed behaviour

Author
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1994
Field of study

A Dynamic Approach to Timed Behaviour

Author: F Baccelli
GJ Olsder
J Campos
J Gunawardena
J Gunawardena
LH Landweber
R Milner
RA Cuninghame
SM Burns
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1994
Field of study

core

core