1532 search results - page 17 / 307 » An Algebraic Process Calculus |
155
Voted
CORR
2006
Springer
15 years 4 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...
118
Voted
APLAS
2003
ACM
15 years 10 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...
147
Voted
AI
2000
Springer
15 years 4 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...
135
click to vote
ICALP
2004
Springer
15 years 10 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...
148
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
We survey expressivity results for navigational frag