Communicating sequential processes
Communicating sequential processes
Communication and concurrency
An operational semantics for timed CSP
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
An Upward Compatible Timed Extension to LOTOS
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Hi-index | 0.00 |
This paper presents a dense time extension of the π-calculus based on time consuming transition semantics. The proposed extension tries to minimise the changes to the standard calculus whilst gaining enough expressiveness to model real-time systems. Syntactic rules and the operational semantics of the timed π-calculus are given. However, the main contribution consists of systems of equations recursively defined over timed labelled transition systems (TLTS), whose solutions provide time sets stating when processes and transitions are active.