1557 search results - page 1 / 312 » Programming up to Congruence |
186
click to vote
ICALP
1992
Springer
15 years 9 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
118
Voted
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
146
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
120
Voted
JMLR
2012
13 years 7 months ago
2012
116
Voted
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
