238 search results - page 1 / 48 » On Tractability and Congruence Distributivity |
LICS
2006
IEEE
14 years 5 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
CONCUR
1995
Springer
14 years 2 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
CONCUR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
CONCUR
2005
Springer
14 years 4 months 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...