| dc.contributor.author | HENNESSY, MATTHEW | |
| dc.date.accessioned | 2008-11-24T11:24:43Z | |
| dc.date.available | 2008-11-24T11:24:43Z | |
| dc.date.created | 5-8 July 1988 | en |
| dc.date.issued | 1988 | |
| dc.date.submitted | 1988 | en |
| dc.identifier.citation | Rance Cleaveland and Matthew Hennessy `Priorities in process algebra? in proceedings of Third Annual Symposium on Logic in Computer Science, Edinburgh, Scotland, 5-8 July 1988, IEEE Computer Society, 1988, pp 193-202 | en |
| dc.identifier.other | Y | en |
| dc.identifier.uri | http://hdl.handle.net/2262/24960 | |
| dc.description | PUBLISHED | en |
| dc.description.abstract | An operational semantics for an algebraic theory of concurrency is developed that incorporates a notion of priority into the definition of the execution of actions. An equivalence based on strong observational equivalences is defined and shown to be a congruence, and a complete axiomization is given for finite terms. Several examples highlight the novelty and usefulness of the approaches | en |
| dc.format.extent | 193-202 | en |
| dc.format.extent | 617804 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | en |
| dc.publisher | IEEE Computer Society | en |
| dc.rights | Y | en |
| dc.subject | Administrative Staff Authors | en |
| dc.title | Priorities 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 | 51022 | |
| dc.identifier.rssuri | http://ieeexplore.ieee.org/iel2/203/271/00005118.pdf?tp=&isnumber=&arnumber=5118 | |
