The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed extensions of partial order models, in order to transfer general concepts of equivalences to the models. In particular, we define categories of timed event structures, whose morphisms are to be thought of as simulations, and accompanying (sub)categories of observations, to which the corresponding notions of open maps are developed. We then use the open maps framework to obtain abstract bisimilarities which are established to coincide with timed extensions of well-known partial order based equivalences.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Region Based Geometry (RBG) is an axiomatic theory of qualitative configurations of spatial regions. It is based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. Whereas in Tarski's theory the combination of mereological and geometrical axioms involves set theory, in RBG the interface is achieved by purely 1st-order axioms. This means that the elementary sublanguage of RBG is extremely expressive, supporting inferences involving both mereological and geometrical concepts. Categoricity of the RBG axioms is proved: all models are isomorphic to a standard interpretation in terms of Cartesian spaces over \mathbbR.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.