| dc.contributor.author | KOUTAVAS, VASILEIOS | en |
| dc.contributor.author | HENNESSY, MATTHEW | en |
| dc.date.accessioned | 2014-01-20T10:27:12Z | |
| dc.date.available | 2014-01-20T10:27:12Z | |
| dc.date.created | 27-30 Aug | en |
| dc.date.issued | 2013 | en |
| dc.date.submitted | 2013 | en |
| dc.identifier.citation | Koutavas, V., Hennessy, M., Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24th International Conference on Concurrency Theory, CONCUR 2013, Argentina, 27-30 Aug, 8052, 2013, 167-181 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description | Argentina | en |
| dc.description.abstract | We study the behavioural theory of a higher-order distributed calculus with private names and locations that can be passivated. For this language, we present a novel Labelled Transition System where higher-order inputs are symbolic agents that can perform a limited number of transitions, capturing the nature of passivation. Standard first-order weak bisimulation over this LTS coincides with contextual equivalence, and provides the first useful proof technique without a universal quantification over contexts for an intricate distributed language. | en |
| dc.format.extent | 167-181 | en |
| dc.language.iso | en | en |
| dc.relation.ispartofseries | 8052 | en |
| dc.rights | Y | en |
| dc.subject | Concurrency | en |
| dc.title | Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) | en |
| dc.title.alternative | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.title.alternative | 24th International Conference on Concurrency Theory, CONCUR 2013 | 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 | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/vkoutav | en |
| dc.identifier.rssinternalid | 89923 | en |
| dc.identifier.doi | http://dx.doi.org/10.1007/978-3-642-40184-8_13 | en |
| dc.rights.ecaccessrights | OpenAccess | |
| dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
| dc.contributor.sponsorGrantNumber | SFI 06 IN.1 1898 | en |
| dc.identifier.uri | http://hdl.handle.net/2262/67852 | |
