Sciweavers

12 search results - page 1 / 3
» On convergence-sensitive bisimulation and the embedding of C...
Sort
View
MFCS
1991
Springer
14 years 2 months ago
CCS Dynamic Bisimulation is Progressing
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
Ugo Montanari, Vladimiro Sassone
ECOOP
1993
Springer
14 years 2 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
TAPSOFT
1991
Springer
14 years 2 months ago
A Calculus of Broadcasting Systems
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
K. V. S. Prasad
GPCE
2007
Springer
14 years 5 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba