47 search results - page 1 / 10 » Preorder Relations |
ENTCS
2008
13 years 5 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
EUSFLAT
2003
13 years 6 months ago
2003
The paper presents a new kind of fuzzy binary relations for modelling conditional possibility. The key idea is to consider fuzzy preorders as conditional necessity measures, and t...
ENTCS
2007
13 years 4 months ago
2007
d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...