ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
IFIPTCS
2000
13 years 8 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
SFM
2009
Springer
13 years 11 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...