 |
Formal Techniques for Distributed Systems 12th IFIP WG 6.1 International Conference FMOODS 2010 and 30th IFIP WG 6.1 International Conference FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 |
 |
Conference papers
Theory and Implementation of a Real-Time Extension to the π-Calculus
Abstract : We present a real-time extension to the π-calculus and use it to study a notion of time-bounded equivalence. We introduce the notion of timed compositionality and the associated timed congruence which are useful to reason about the timed behaviour of processes under hard constraints. In addition to this meta-theory we develop an abstract machine for our calculus based on event-scheduling and establish its soundness w.r.t. the given operational semantics. We have built an implementation for a realistic language called kiltera based on this machine.
Cited literature [15 references]
https://hal.inria.fr/hal-01055159
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:34:36 PM
Last modification on : Monday, December 7, 2020 - 9:44:02 AM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:16:08 PM
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:34:36 PM
Last modification on : Monday, December 7, 2020 - 9:44:02 AM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:16:08 PM
File
61170123.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License