20 search results - page 3 / 4 » Weak Bisimulation and Open Maps |
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
We consider pragmatic issues in applying constraint-based theories (such as that developed for data exchange) to a variety of problems. We identify disconnects between theoreticia...
LICS
1996
IEEE
14 years 21 days ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
TAPSOFT
1991
Springer
14 years 1 days ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
ICALP
1989
Springer
14 years 18 days ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...