Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071574641> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2071574641 endingPage "162" @default.
- W2071574641 startingPage "138" @default.
- W2071574641 abstract "A distributed model for the π -calculus is presented in terms of Place/Transition Petri nets with inhibitor arcs (PTI for short). Such a class of nets is equipped with a step and a causal semantics, hence allowing to study non-interleaving semantics for the π -calculus. We show the correctness of the semantics by proving that the interleaving semantics induced by the PTI semantics is fully abstract with respect to the interleaving early semantics originally defined in terms of labelled transition systems. We also argue the impossibility to define reasonable distributed semantics that preserve the intended non-interleaving semantics if we simply use Place/Transition nets without inhibitor arcs. Some decidability results (notably, the satisfaction of linear time μ -calculus formulae) are presented for the subclass of the π -calculus generating finite PTI nets." @default.
- W2071574641 created "2016-06-24" @default.
- W2071574641 creator A5000720054 @default.
- W2071574641 creator A5071501129 @default.
- W2071574641 date "2009-02-01" @default.
- W2071574641 modified "2023-09-27" @default.
- W2071574641 title "Distributed semantics for the <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mrow><mml:mi>π</mml:mi></mml:mrow></mml:math>-calculus based on Petri nets with inhibitor arcs" @default.
- W2071574641 cites W1639519860 @default.
- W2071574641 cites W1965067520 @default.
- W2071574641 cites W1977601940 @default.
- W2071574641 cites W1988204590 @default.
- W2071574641 cites W1996760951 @default.
- W2071574641 cites W2000312977 @default.
- W2071574641 cites W2015640848 @default.
- W2071574641 cites W2020813639 @default.
- W2071574641 cites W2025846009 @default.
- W2071574641 cites W2035959929 @default.
- W2071574641 cites W2048909687 @default.
- W2071574641 cites W2055378322 @default.
- W2071574641 cites W2106001218 @default.
- W2071574641 cites W2125136584 @default.
- W2071574641 cites W2128932399 @default.
- W2071574641 cites W2164003033 @default.
- W2071574641 cites W2913376619 @default.
- W2071574641 cites W4206179858 @default.
- W2071574641 doi "https://doi.org/10.1016/j.jlap.2008.08.002" @default.
- W2071574641 hasPublicationYear "2009" @default.
- W2071574641 type Work @default.
- W2071574641 sameAs 2071574641 @default.
- W2071574641 citedByCount "26" @default.
- W2071574641 countsByYear W20715746412012 @default.
- W2071574641 countsByYear W20715746412013 @default.
- W2071574641 countsByYear W20715746412014 @default.
- W2071574641 countsByYear W20715746412015 @default.
- W2071574641 countsByYear W20715746412016 @default.
- W2071574641 countsByYear W20715746412017 @default.
- W2071574641 countsByYear W20715746412018 @default.
- W2071574641 countsByYear W20715746412021 @default.
- W2071574641 countsByYear W20715746412022 @default.
- W2071574641 crossrefType "journal-article" @default.
- W2071574641 hasAuthorship W2071574641A5000720054 @default.
- W2071574641 hasAuthorship W2071574641A5071501129 @default.
- W2071574641 hasConcept C111919701 @default.
- W2071574641 hasConcept C11413529 @default.
- W2071574641 hasConcept C118615104 @default.
- W2071574641 hasConcept C136119220 @default.
- W2071574641 hasConcept C153269930 @default.
- W2071574641 hasConcept C156325763 @default.
- W2071574641 hasConcept C184337299 @default.
- W2071574641 hasConcept C199343813 @default.
- W2071574641 hasConcept C199360897 @default.
- W2071574641 hasConcept C202444582 @default.
- W2071574641 hasConcept C2777686260 @default.
- W2071574641 hasConcept C2779167558 @default.
- W2071574641 hasConcept C28034677 @default.
- W2071574641 hasConcept C33923547 @default.
- W2071574641 hasConcept C38677869 @default.
- W2071574641 hasConcept C41008148 @default.
- W2071574641 hasConcept C55439883 @default.
- W2071574641 hasConcept C71924100 @default.
- W2071574641 hasConceptScore W2071574641C111919701 @default.
- W2071574641 hasConceptScore W2071574641C11413529 @default.
- W2071574641 hasConceptScore W2071574641C118615104 @default.
- W2071574641 hasConceptScore W2071574641C136119220 @default.
- W2071574641 hasConceptScore W2071574641C153269930 @default.
- W2071574641 hasConceptScore W2071574641C156325763 @default.
- W2071574641 hasConceptScore W2071574641C184337299 @default.
- W2071574641 hasConceptScore W2071574641C199343813 @default.
- W2071574641 hasConceptScore W2071574641C199360897 @default.
- W2071574641 hasConceptScore W2071574641C202444582 @default.
- W2071574641 hasConceptScore W2071574641C2777686260 @default.
- W2071574641 hasConceptScore W2071574641C2779167558 @default.
- W2071574641 hasConceptScore W2071574641C28034677 @default.
- W2071574641 hasConceptScore W2071574641C33923547 @default.
- W2071574641 hasConceptScore W2071574641C38677869 @default.
- W2071574641 hasConceptScore W2071574641C41008148 @default.
- W2071574641 hasConceptScore W2071574641C55439883 @default.
- W2071574641 hasConceptScore W2071574641C71924100 @default.
- W2071574641 hasIssue "3" @default.
- W2071574641 hasLocation W20715746411 @default.
- W2071574641 hasOpenAccess W2071574641 @default.
- W2071574641 hasPrimaryLocation W20715746411 @default.
- W2071574641 hasRelatedWork W1515229775 @default.
- W2071574641 hasRelatedWork W1540254171 @default.
- W2071574641 hasRelatedWork W1555150153 @default.
- W2071574641 hasRelatedWork W1897277602 @default.
- W2071574641 hasRelatedWork W2096292800 @default.
- W2071574641 hasRelatedWork W2165777837 @default.
- W2071574641 hasRelatedWork W2179761738 @default.
- W2071574641 hasRelatedWork W2475115995 @default.
- W2071574641 hasRelatedWork W2952874197 @default.
- W2071574641 hasRelatedWork W4320165706 @default.
- W2071574641 hasVolume "78" @default.
- W2071574641 isParatext "false" @default.
- W2071574641 isRetracted "false" @default.
- W2071574641 magId "2071574641" @default.
- W2071574641 workType "article" @default.
