Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2011-06-07T15:04:46Z
dc.date.available2011-06-07T15:04:46Z
dc.date.issued2005
dc.date.submitted2005en
dc.identifier.citationProof methodologies for behavioural equivalence in DPI , Lecture Notes in Computer Science, Berlin, Heidelberg, Springer, 2005, 335-350 , Alberto Ciaffaglione, Matthew Hennessy and Julian Rathkeen
dc.identifier.otherY
dc.identifier.urihttp://hdl.handle.net/2262/56467
dc.descriptionPUBLISHEDen
dc.description.abstractWe focus on techniques for proving behavioural equivalence between systems in Dpi, a distributed version of the picalculus in which processes may migrate between dynamically created locations, and where resource access policies are implemented by means of capability types. We devise a tractable collection of auxiliary proof methods, relying mainly on the use of bisimulations up-to -reductions, which considerably relieve the burden of exhibiting witness bisimulations. Using such methods we model simple distributed protocols, such as crossing a firewall, the interaction between a server and its clients, metaservers installing memory services, and address their correctness in a relatively simple manner.en
dc.description.sponsorshipThe authors would like to acknowledge the financial support of the two EU Global Computing projects, Mikado and Mythsen
dc.format.extent335-350en
dc.language.isoenen
dc.publisherSpringeren
dc.rightsYen
dc.subjectComputer Scienceen
dc.subjectmetaserversen
dc.titleProof methodologies for behavioural equivalence in DPIen
dc.typeBook Chapteren
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssinternalid50347
dc.identifier.rssurihttp://www.springerlink.com/content/yuw874168276h74j/fulltext.pdfen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record