Publication:
Divide and Congruence Applied to n-Bisimulation
Divide and Congruence Applied to n-Bisimulation
| dc.contributor.author | Fokkink, W | en_US |
| dc.contributor.author | van Glabbeek, Robert | en_US |
| dc.contributor.author | de Wind, P | en_US |
| dc.date.accessioned | 2021-11-25T15:26:16Z | |
| dc.date.available | 2021-11-25T15:26:16Z | |
| dc.date.issued | 2005 | en_US |
| dc.description.abstract | We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra. | en_US |
| dc.identifier.issn | 1571-0661 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1959.4/44462 | |
| dc.language | English | |
| dc.language.iso | EN | en_US |
| dc.publisher | Elsevier | en_US |
| dc.rights | CC BY-NC-ND 3.0 | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | en_US |
| dc.source | Legacy MARC | en_US |
| dc.title | Divide and Congruence Applied to n-Bisimulation | en_US |
| dc.type | Conference Paper | en |
| dcterms.accessRights | open access | |
| dspace.entity.type | Publication | en_US |
| unsw.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
| unsw.description.publisherStatement | Electronic Notes in Theoretical Computer Science is available via: http://www.sciencedirect.com/science/journal/15710661 | en_US |
| unsw.identifier.doiPublisher | http://dx.doi.org/10.1016/j.entcs.2005.10.029 | en_US |
| unsw.publisher.place | Amsterdam | en_US |
| unsw.relation.faculty | Engineering | |
| unsw.relation.ispartofconferenceLocation | Lisbon, Portugal | en_US |
| unsw.relation.ispartofconferenceName | The Second Workshop on Structural Operational Semantics | en_US |
| unsw.relation.ispartofconferenceProceedingsTitle | Electronic Notes in Theoretical Computer Science | en_US |
| unsw.relation.ispartofconferenceYear | 2006 | en_US |
| unsw.relation.ispartofpagefrompageto | 97-113 | en_US |
| unsw.relation.originalPublicationAffiliation | Fokkink, W | en_US |
| unsw.relation.originalPublicationAffiliation | van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
| unsw.relation.originalPublicationAffiliation | de Wind, P | en_US |
| unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1