%0 Conference Proceedings
%T Theory and Implementation of a Real-Time Extension to the π-Calculus
%+ School of Computing
%A Posse, Ernesto
%A Dingel, Juergen
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 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)
%C Amsterdam, Netherlands
%Y John Hatcliff; Elena Zucca
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-6117
%P 125-139
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13464-7_11
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055159/document
%2 https://inria.hal.science/hal-01055159/file/61170123.pdf
%L hal-01055159
%U https://inria.hal.science/hal-01055159
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6117
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-2010