5377 search results - page 158 / 1076 » Programming Languages For Interactive Computing |
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
FORTE
2007
13 years 11 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...