3710 search results - page 21 / 742 » A new calculus of contexts |
CALCO
2009
Springer
15 years 6 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
108
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
305
click to vote
Book
When I started reading about level set methods, I realized that I must have strong mathematical background in several math areas such as differential geometry, vector calculus, par...
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...