40 search results - page 2 / 8 » concur 2007 |
INTERACT
1997
13 years 6 months ago
1997
CONCUR
2007
Springer
13 years 9 months ago
2007
Springer
CONCUR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
CONCUR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...