dc.contributor.author | HENNESSY, MATTHEW | |
dc.date.accessioned | 2008-11-24T11:20:49Z | |
dc.date.available | 2008-11-24T11:20:49Z | |
dc.date.created | 5-8 June 1989 | en |
dc.date.issued | 1989 | |
dc.date.submitted | 1989 | en |
dc.identifier.citation | L. Aceto and M. Hennessy `Towards action-refinement in process algebras? in proceedings of the Fourth Annual Symposium on Logic in Computer Science, Asilomar Conference Center, Pacific Grove California, 5-8 June 1989, IEEE Computer Society Press , 1989, pp 138-145 | en |
dc.identifier.other | Y | |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
dc.description.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 | en |
dc.format.extent | 138-145 | en |
dc.format.extent | 424715 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | IEEE Computer Society Press. | en |
dc.rights | Y | en |
dc.subject | Administrative Staff Authors | en |
dc.title | Towards action-refinement in process algebras. | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
dc.identifier.rssinternalid | 51021 | |
dc.identifier.rssuri | http://ieeexplore.ieee.org/iel2/249/1547/00039168.pdf?tp=&isnumber=&arnumber=39168 | |
dc.identifier.uri | http://hdl.handle.net/2262/24959 | |