A Compositional Semantics for the Reversible p-Calculus

We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional definition of a reversible calculus, that has both concurrency primitives and name mobility. The notion of reversibility is strictly linked to the notion of causality. We discuss th...

Full description

Saved in:
Bibliographic Details
Published in:2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 388 - 397
Main Authors: Cristescu, Ioana, Krivine, Jean, Varacca, Daniele
Format: Conference Proceeding
Language:English
Published: IEEE 01.06.2013
Subjects:
Calculus
compositional
Concrete
Concurrent computing
Context
reversible p -calculus
scope extrusion
Semantics
Synchronization
Syntactics
ISBN:1479904139, 9781479904136
ISSN:1043-6871
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional definition of a reversible calculus, that has both concurrency primitives and name mobility. The notion of reversibility is strictly linked to the notion of causality. We discuss the notion of causality induced by our calculus, and we compare it with the existing notions in the literature, in particular for what concerns the syntactic feature of scope extrusion, typical of the π-calculus.
AbstractList We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional definition of a reversible calculus, that has both concurrency primitives and name mobility. The notion of reversibility is strictly linked to the notion of causality. We discuss the notion of causality induced by our calculus, and we compare it with the existing notions in the literature, in particular for what concerns the syntactic feature of scope extrusion, typical of the π-calculus.
Author Cristescu, Ioana
Krivine, Jean
Varacca, Daniele
Author_xml – sequence: 1
  givenname: Ioana
  surname: Cristescu
  fullname: Cristescu, Ioana
  organization: Lab. PPS, Univ. Paris Diderot, Paris, France
– sequence: 2
  givenname: Jean
  surname: Krivine
  fullname: Krivine, Jean
  organization: Lab. PPS, Univ. Paris Diderot, Paris, France
– sequence: 3
  givenname: Daniele
  surname: Varacca
  fullname: Varacca, Daniele
  organization: Lab. PPS, Univ. Paris Diderot, Paris, France
BookMark eNotzMtKxDAUgOGAIzgd3blzkxdoPSeXplkOxctAQXB0PaTpCUZ6o-kIvr2Cwg_f7s_YZpxGYuwWoUAEe98c6mMhAGWh9AXLUBlrQaG0G7ZFUDIvK4NXLEvpEwBEqWDLzJ7X0zBPKa5xGl3PjzS4cY0-8TAtfP0g_kpftKTY9sTnvHa9P_fndM0ug-sT3fy7Y--PD2_1c968PB3qfZM7UYLOJfkOrTCoOk1WV94H7ykEwFJW0KJtLWlCG4zVHTktyEELUhgnKt-aIHfs7u8bieg0L3Fwy_ep1AZ_kz_YdkZu
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS.2013.45
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 397
ExternalDocumentID 6571571
Genre orig-research
GroupedDBID --Z
23M
29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-a2605-3ecd192714d5e958ccfcceff016380b19b9e5e19f795dea52ea0b0327a28cb7f3
IEDL.DBID RIE
ISBN 1479904139
9781479904136
ISSN 1043-6871
IngestDate Wed Aug 27 04:17:07 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a2605-3ecd192714d5e958ccfcceff016380b19b9e5e19f795dea52ea0b0327a28cb7f3
OpenAccessLink https://hal.science/hal-00840156
PageCount 10
ParticipantIDs ieee_primary_6571571
PublicationCentury 2000
PublicationDate 2013-06
PublicationDateYYYYMMDD 2013-06-01
PublicationDate_xml – month: 06
  year: 2013
  text: 2013-06
PublicationDecade 2010
PublicationTitle 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
PublicationTitleAbbrev lics
PublicationYear 2013
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002640
ssj0001035133
Score 2.2266967
Snippet We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional definition of a reversible calculus,...
SourceID ieee
SourceType Publisher
StartPage 388
SubjectTerms Calculus
compositional
Concrete
Concurrent computing
Context
reversible p -calculus
scope extrusion
Semantics
Synchronization
Syntactics
Title A Compositional Semantics for the Reversible p-Calculus
URI https://ieeexplore.ieee.org/document/6571571
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEG6QePCECsZ3evBoYXe7fR0NkWhCCBE13Ei3nSYkCISHv9-2u4AHL966PW2m6cw30--bQejBcpVSkRpitbYkp7kjUvksRVNw0jjuaJxD9tkXg4Ecj9Wwhh73WhgAiOQzaIdlfMu3C7MNpbIOZyJlQTB-JAQvtVqHekp4EqMHL-wDfdWJgBLus4Io6hLe93qvrXa9nqpvvmfEq07_tTsKjC_aDgqnXxNXYsDpNf73q6eodVDu4eE-Jp2hGszPUWM3ugFXN7mJxBMOmxVjS8_wCL68jadmjT2KxR4V4jeIjI1iBnhJunoW6oTrFvroPb93X0g1Q4HokKkQCsZ6ECfS3DJQTBrjjAHnkoDDkiJVhQIGqXJCMQuaZaCTIqGZ0Jk0hXD0AtXnizlcIkyF9DaWwiaG5wW3WuY--TTCn2kAZvIKNYMdJsuyTcakMsH139s36CQrJ0uQJL1F9c1qC3fo2HxvpuvVfTzbH68fnQk
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEG4ImugJFYxve_BoYXe73bZHQyQQV0IEDTfSbacJCa_w8PfbLgt48OKt29Nmms58M_2-GYSeTCJDykNNjFKGxDS2REiXpSgKVmibWJrPIftKebcrhkPZK6HnvRYGAHLyGdT9Mn_LN3O98aWyRsJ4yLxg_IjFcRRs1VqHiop_FKMHP-xCfdGLgJLE5QW5rIs77-v8ttx1eyq-kz0nXjbSTrPvOV-07jVOv2au5CGnVfnfz56h2kG7h3v7qHSOSjC7QJXd8AZc3OUq4i_YbxacLTXBfZg6K4_1Cjscix0uxB-QczayCeAFaaqJrxSuauiz9TpotkkxRYEon6sQCto4GMfD2DCQTGhttQZrA4_EgiyUmQQGobRcMgOKRaCCLKARV5HQGbf0EpVn8xlcIUy5cDYW3AQ6ibPEKBG79FNzd6oemolrVPV2GC22jTJGhQlu_t5-RCftwXs6Sjvdt1t0Gm3nTJAgvEPl9XID9-hYf6_Hq-VDfs4_E66gUA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2013+28th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=A+Compositional+Semantics+for+the+Reversible+p-Calculus&rft.au=Cristescu%2C+Ioana&rft.au=Krivine%2C+Jean&rft.au=Varacca%2C+Daniele&rft.date=2013-06-01&rft.pub=IEEE&rft.isbn=9781479904136&rft.issn=1043-6871&rft.spage=388&rft.epage=397&rft_id=info:doi/10.1109%2FLICS.2013.45&rft.externalDocID=6571571
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon