20 search results - page 3 / 4 » Weak Bisimulation and Open Maps |
136
click to vote
ICDE
2006
IEEE
15 years 12 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...
138
click to vote
LICS
1996
IEEE
15 years 10 months 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...
181
click to vote
TAPSOFT
1991
Springer
15 years 9 months 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...
161
click to vote
EKAW
2004
Springer
15 years 11 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...
146
click to vote
ICALP
1989
Springer
15 years 10 months 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...