A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Communication and concurrency
The algebra of timed processes, ATP: theory and application
Information and Computation
A process algebra for timed systems
Information and Computation
A theory of processes with durational actions
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Timing and causality in process algebra
Acta Informatica
Absolute versus relative time in process algebras
Information and Computation - Special issue on EXPRESS 1997
On testing urgency through laziness over processes with durational actions
Theoretical Computer Science
Real-Time Behaviour of Asynchronous Agents
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A Temporal Calculus of Communicating Systems
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Dynamic Matrices and the Cost Analysis of Concurrent Programs
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
In this paper we show how the expressive power of a language for the description of timed processes strongly affects the discriminating power of urgent and patient actions. In a sense, it studies the interplay between syntax and semantics of time-critical systems.