3583 search results - page 42 / 717 » A Type System for the Relational Calculus of Object Systems |
146
click to vote
FORTE
2007
15 years 6 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
154
Voted
WOLLIC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
170
click to vote
SLOGICA
1998
15 years 4 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
158
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
119
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...