1557 search results - page 1 / 312 » Programming up to Congruence |
ICALP
1992
Springer
13 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...
IEEEPACT
2002
IEEE
13 years 9 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...
ICALP
2010
Springer
13 years 9 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...
JMLR
2012
11 years 7 months ago
2012
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
