1532 search results - page 17 / 307 » An Algebraic Process Calculus |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
APLAS
2003
ACM
15 years 2 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
AI
2000
Springer
14 years 9 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
103
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
We survey expressivity results for navigational frag