1564 search results - page 53 / 313 » Extensions to the Estimation Calculus |
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
120
click to vote
TLCA
2001
Springer
15 years 6 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
114
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
112
click to vote
ECOOPW
1994
Springer
15 years 6 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
110
click to vote
DKE
2006
15 years 2 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...