238 search results - page 3 / 48 » On Tractability and Congruence Distributivity |
77
Voted
CONCUR
1995
Springer
15 years 1 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
DAC
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
64
Voted
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
106
click to vote
SRDS
2008
IEEE
15 years 3 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
59
Voted
IOR
2010
14 years 8 months ago
2010