1,418 research outputs found
Labelled transition systems as a Stone space
A fully abstract and universal domain model for modal transition systems and
refinement is shown to be a maximal-points space model for the bisimulation
quotient of labelled transition systems over a finite set of events. In this
domain model we prove that this quotient is a Stone space whose compact,
zero-dimensional, and ultra-metrizable Hausdorff topology measures the degree
of bisimilarity such that image-finite labelled transition systems are dense.
Using this compactness we show that the set of labelled transition systems that
refine a modal transition system, its ''set of implementations'', is compact
and derive a compactness theorem for Hennessy-Milner logic on such
implementation sets. These results extend to systems that also have partially
specified state propositions, unify existing denotational, operational, and
metric semantics on partial processes, render robust consistency measures for
modal transition systems, and yield an abstract interpretation of compact sets
of labelled transition systems as Scott-closed sets of modal transition
systems.Comment: Changes since v2: Metadata updat
Domain theory and mirror properties in inverse semigroups
Inverse semigroups are a class of semigroups whose structure induces a
compatible partial order. This partial order is examined so as to establish
mirror properties between an inverse semigroup and the semilattice of its
idempotent elements, such as continuity in the sense of domain theory.Comment: 15 pages. The final publication is available at www.springerlink.com.
See http://link.springer.com/article/10.1007%2Fs00233-012-9392-4?LI=tru
Unsharp Values, Domains and Topoi
The so-called topos approach provides a radical reformulation of quantum
theory. Structurally, quantum theory in the topos formulation is very similar
to classical physics. There is a state object, analogous to the state space of
a classical system, and a quantity-value object, generalising the real numbers.
Physical quantities are maps from the state object to the quantity-value object
-- hence the `values' of physical quantities are not just real numbers in this
formalism. Rather, they are families of real intervals, interpreted as `unsharp
values'. We will motivate and explain these aspects of the topos approach and
show that the structure of the quantity-value object can be analysed using
tools from domain theory, a branch of order theory that originated in
theoretical computer science. Moreover, the base category of the topos
associated with a quantum system turns out to be a domain if the underlying von
Neumann algebra is a matrix algebra. For general algebras, the base category
still is a highly structured poset. This gives a connection between the topos
approach, noncommutative operator algebras and domain theory. In an outlook, we
present some early ideas on how domains may become useful in the search for new
models of (quantum) space and space-time.Comment: 32 pages, no figures; to appear in Proceedings of Quantum Field
Theory and Gravity, Regensburg (2010
Formal Concept Analysis and Resolution in Algebraic Domains
We relate two formerly independent areas: Formal concept analysis and logic
of domains. We will establish a correspondene between contextual attribute
logic on formal contexts resp. concept lattices and a clausal logic on coherent
algebraic cpos. We show how to identify the notion of formal concept in the
domain theoretic setting. In particular, we show that a special instance of the
resolution rule from the domain logic coincides with the concept closure
operator from formal concept analysis. The results shed light on the use of
contexts and domains for knowledge representation and reasoning purposes.Comment: 14 pages. We have rewritten the old version according to the
suggestions of some referees. The results are the same. The presentation is
completely differen
- …