1071 search results - page 32 / 215 » The Calculus of Algebraic Constructions |
140
click to vote
BPM
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
138
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
133
Voted
CCA
2009
Springer
15 years 9 months ago
2009
Springer
