21 search results - page 2 / 5 » The Conversation Calculus: A Model of Service-Oriented Compu... |
COORDINATION
2006
Springer
13 years 9 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
FORTE
2008
13 years 6 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
WETICE
2005
IEEE
13 years 11 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
ICSOC
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
LICS
1989
IEEE
13 years 9 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...