18 search results - page 1 / 4 » Polarized Process Algebra and Program Equivalence |
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
ICALP
1999
Springer
13 years 9 months ago
1999
Springer
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
ICALP
1999
Springer
13 years 9 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
FASE
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...