4353 search results - page 52 / 871 » Expressiveness of Process Algebras |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE