Sciweavers

TCS
2010
13 years 10 months ago
On the expressiveness of interaction
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
Yuxi Fu, Hao Lu
FMCO
2006
Springer
14 years 3 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
FORMATS
2007
Springer
14 years 5 months ago
On the Expressiveness of MTL Variants over Dense Time
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
Carlo A. Furia, Matteo Rossi