DocumentCode
2597272
Title
Towards action-refinement in process algebras
Author
Aceto, L. ; Hennessy, M.
Author_Institution
Dept. of Comput. Sci., Sussex Univ., Brighton, UK
fYear
1989
fDate
5-8 Jun 1989
Firstpage
138
Lastpage
145
Abstract
A simple process algebra which supports a form of refinement of an action by a process is presented and the question of an appropriate equivalence relation for it is addressed. The main result is that an adequate equivalence can be defined in a very intuitive manner and moreover can be axiomatized in much the same way as the standard behavioral equivalences
Keywords
equivalence classes; formal logic; action-refinement; equivalence relation; process algebras; Algebra; Carbon capture and storage; Computer science; Concurrent computing; Formal languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location
Pacific Grove, CA
Print_ISBN
0-8186-1954-6
Type
conf
DOI
10.1109/LICS.1989.39168
Filename
39168
Link To Document