12 search results - page 1 / 3 » On convergence-sensitive bisimulation and the embedding of C... |
CORR
2008
Springer
15 years 6 months ago
2008
Springer
184
click to vote
MFCS
1991
Springer
15 years 9 months ago
1991
Springer
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...
189
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
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...
182
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
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...
146
click to vote
GPCE
2007
Springer
16 years 5 days ago
2007
Springer
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...