86 search results - page 1 / 18 » Timed Bisimulation and Open Maps |
MFCS
1998
Springer
13 years 9 months ago
1998
Springer
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
FCT
2009
Springer
13 years 2 months ago
2009
Springer
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...