Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Ernesto Posse, Juergen Dingel. Theory and Implementation of a Real-Time Extension to the π-Calculus. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.125-139, ⟨10.1007/978-3-642-13464-7_11⟩. ⟨hal-01055159⟩



Record views


Files downloads