3 search results - page 1 / 1 » Precongruence Formats for Decorated Trace Preorders |
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
CORR
2002
Springer
13 years 4 months ago
2002
Springer