Results 81 to 90 of about 107 (106)

Syntopogenous preordered spaces

Mathematical Proceedings of the Cambridge Philosophical Society, 1976
The investigation of a topological, uniform or proximity space endowed with a preordering is by now well established. A topological space along with a preordering related to the topology in varying degrees has been studied, for example, in (3), (4), (5) and (6).
Burgess, D. C. J., Fitzpatrick, M.
openaire   +2 more sources

Positive Preorders

Algebra and Logic, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Must Preorder Revisited

2007
We define a language for Web services contracts as a parallel-free fragment of ccs and we study a natural notion of compliance between clients and services in terms of their corresponding contracts. The induced contract preorder turns out to be valuable in searching and querying registries of Web services, it shows interesting connections with the must
C. Laneve, L. Padovani
openaire   +2 more sources

Performance preorder and competitive equivalence

Acta Informatica, 1997
A preorder based on execution speed, called performance preorder, is introduced for a simple process algebra with durational actions. Two processes \(E\) and \(F\) are related -- \(E\sqsubseteq_p F\) -- if they have the same functionality (in this case, we have chosen strong bisimulation equivalence) and \(E\) is at least as fast as \(F\).
Corradini F., Gorrieri R., Roccetti M.
openaire   +2 more sources

Rewriting for preorder relations

1995
Preorders are often used as a semantic tool in various fields of computer science. Examples in this direction are the preorder semantics defined for process algebra formalisms, such as testing preorders and bisimulation preorders. Preorders turn out to be useful when modelling divergence or partial specification.
openaire   +4 more sources

Filtral Preorders and Opportunity Inequality

SSRN Electronic Journal, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vannucci, Stefano, Savaglio, E.
openaire   +3 more sources

Preordered affine Hjelmslev planes

Journal of Geometry, 1984
Verf. nennen eine affine Hjelmslev-Ebene (AH-Ebene) \({\mathfrak H}=(P,{\mathfrak L})\) ''prägeordenet'', wenn auf P wie üblich eine ternäre Relation \(\rho\) erklärt ist, so daß die Einschränkung von \(\rho\) auf jede Gerade \(L\in {\mathfrak L}\) eine Zwischenrelation ist und \(\rho\) bei allen bijektiven Parallelperspektivitäten [\(A\to^{C}B ...
Baker, Catharine A., Lane, Norman D., Lorimer, Joseph W., Laxton, James A.   +3 more
openaire   +1 more source

How to Revise a Total Preorder

Journal of Philosophical Logic, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Booth, Richard, Meyer, Thomas
openaire   +1 more source

Totally preordered sets

2003
The central topic in this chapter is totally preordered sets. Section 2.2 gives conditions for the existence of order homomorphisms between totally preordered sets and subsets of the real numbers. Some topological concepts are introduced in section 2.3 page 18.
openaire   +1 more source

Topological Closure of Translation Invariant Preorders

Mathematics of Operations Research, 2014
Our primary query is to find conditions under which the closure of a preorder on a topological space remains transitive. We study this problem for translation invariant preorders on topological groups. The results are fairly positive; we find that the closure of preorders and normal orders remain as such in this context.
Ok, Efe A., Riella, Gil
openaire   +2 more sources