Abstract | ||
---|---|---|
This paper presents a dense time extension of the pi-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 pi-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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/1-4020-7991-5_17 | CHDL SERIES |
Keywords | Field | DocType |
real-time systems,process algebra,time extension | Operational semantics,Computer science,Denotational semantics,Real-time computing,Semantics | Conference |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Fischer | 1 | 99 | 11.34 |
André Windisch | 2 | 8 | 4.43 |
Stefan Förster | 3 | 30 | 6.99 |
B. Balser | 4 | 2 | 1.42 |
Dieter Monjau | 5 | 43 | 15.04 |