Paper Info
Title
Theory and Implementation of a Real-Time Extension to the pi-Calculus
Abstract
We present a real-time extension to the pi-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.
Year
DOI
Venue
2010
10.1007/978-3-642-13464-7_11
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
6117
0302-9743
Citations 
PageRank 
References 
1
0.35
1
Authors
2
Name
Order
Citations
PageRank
Ernesto Posse1424.84
Juergen Dingel260849.06