Hide metadata

dc.date.accessioned2018-03-13T14:37:13Z
dc.date.available2018-03-13T14:37:13Z
dc.date.created2017-04-06T11:27:38Z
dc.date.issued2017
dc.identifier.citationHildebrandt, Thomas Johansen, Christian Normann, Håkon . A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science. 2017, 10168 LNCS, 51-63
dc.identifier.urihttp://hdl.handle.net/10852/60946
dc.description.abstractWe give the first non-interleaving early operational semantics for the pi-calculus which generalizes the standard interleaving semantics and unfolds to the stable model of prime event structures. Our starting point is the non-interleaving semantics given for CCS by Mukund and Nielsen, where the so-called structural (prefixing or subject) causality and events are defined from a notion of locations derived from the syntactic structure of the process terms. The semantics is conservatively extended with a notion of extruder histories, from which we infer the so-called link (name or object) causality and events introduced by the dynamic communication topology of the pi-calculus. We prove that the semantics generalises both the standard interleaving early semantics for the pi-calculus and the non-interleaving semantics for CCS. In particular, it gives rise to a labelled asynchronous transition system unfolding to prime event structures. The final version of this research has been published in Lecture Notes in Computer Science. © 2017 Springer Verlagen_US
dc.languageEN
dc.publisherSpringer Verlag
dc.titleA stable non-interleaving early operational semantics for the Pi-calculusen_US
dc.typeJournal articleen_US
dc.creator.authorHildebrandt, Thomas
dc.creator.authorJohansen, Christian
dc.creator.authorNormann, Håkon
cristin.unitcode185,15,5,71
cristin.unitnameForskningsgruppen for nettverk og distribuerte systemer
cristin.ispublishedtrue
cristin.fulltextpostprint
cristin.qualitycode1
dc.identifier.cristin1464022
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture Notes in Computer Science&rft.volume=10168 LNCS&rft.spage=51&rft.date=2017
dc.identifier.jtitleLecture Notes in Computer Science
dc.identifier.volume10168 LNCS
dc.identifier.startpage51
dc.identifier.endpage63
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-319-53733-7_3
dc.identifier.urnURN:NBN:no-63598
dc.type.documentTidsskriftartikkelen_US
dc.type.peerreviewedPeer reviewed
dc.source.issn0302-9743
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/60946/2/LATA17_main_authorVersion.pdf
dc.type.versionAcceptedVersion


Files in this item

Appears in the following Collection

Hide metadata