1557 search results - page 1 / 312 » Programming up to Congruence |
150
click to vote
ICALP
1992
Springer
15 years 6 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...
IEEEPACT
2002
IEEE
15 years 7 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...
121
Voted
ICALP
2010
Springer
15 years 7 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...
87
Voted
JMLR
2012
13 years 4 months ago
2012
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
