290 search results - page 4 / 58 » Congruence for Structural Congruences |
ICALP
1992
Springer
13 years 11 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...
DAGM
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper presents a novel approach towards detecting intrinsically two-dimensional (i2D) image structures using local phase information. The local phase of the i2D stru...
CONCUR
2005
Springer
14 years 28 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
SAJ
2000
13 years 7 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
EM
2010
13 years 6 months ago
2010
We give an example of a noncongruence subgroup Γ ⊂ SL(2, Z) whose space of weight 3 cusp forms S3(Γ) admits a basis satisfying the Atkin-Swinnerton-Dyer congruence relations wi...