Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034758493> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2034758493 endingPage "321" @default.
- W2034758493 startingPage "307" @default.
- W2034758493 abstract "This paper develops a truly concurrent semantical approach, whereby concurrency is notionally independent of nondeterminism, that allows describing the deterministically concurrent behaviour of recursive processes accessing consumable resources. The process semantics is based on the new coherently complete and prime algebraic domains of real and complex multi-pomsets. The process language that we study contains several deterministic quantitative process operators, namely a renaming, a hiding, a restriction, a serial and a parallel operator, as well as a recursion operator. The displayed deterministic structural operational machine engenders a linear and a complex operational semantics. A compositional denotational semantics is constructed, which uses a functional domain over environments of complex multi-pomsets. The robustness of the presented semantical work is established by proving that the denotational semantics is fully abstract with respect to both linear and complex operational semantics." @default.
- W2034758493 created "2016-06-24" @default.
- W2034758493 creator A5027835212 @default.
- W2034758493 date "2012-09-01" @default.
- W2034758493 modified "2023-10-01" @default.
- W2034758493 title "A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources" @default.
- W2034758493 cites W1503973138 @default.
- W2034758493 cites W1539804543 @default.
- W2034758493 cites W1560652235 @default.
- W2034758493 cites W1562120089 @default.
- W2034758493 cites W1643571618 @default.
- W2034758493 cites W2009372148 @default.
- W2034758493 cites W2072672662 @default.
- W2034758493 cites W2126016661 @default.
- W2034758493 cites W2150320481 @default.
- W2034758493 cites W2914212232 @default.
- W2034758493 cites W2914421362 @default.
- W2034758493 cites W3144368627 @default.
- W2034758493 cites W86227816 @default.
- W2034758493 doi "https://doi.org/10.1016/j.entcs.2012.08.020" @default.
- W2034758493 hasPublicationYear "2012" @default.
- W2034758493 type Work @default.
- W2034758493 sameAs 2034758493 @default.
- W2034758493 citedByCount "0" @default.
- W2034758493 crossrefType "journal-article" @default.
- W2034758493 hasAuthorship W2034758493A5027835212 @default.
- W2034758493 hasBestOaLocation W20347584931 @default.
- W2034758493 hasConcept C104317684 @default.
- W2034758493 hasConcept C118615104 @default.
- W2034758493 hasConcept C150607116 @default.
- W2034758493 hasConcept C156325763 @default.
- W2034758493 hasConcept C158448853 @default.
- W2034758493 hasConcept C161771561 @default.
- W2034758493 hasConcept C168773036 @default.
- W2034758493 hasConcept C17020691 @default.
- W2034758493 hasConcept C184337299 @default.
- W2034758493 hasConcept C185592680 @default.
- W2034758493 hasConcept C193702766 @default.
- W2034758493 hasConcept C199360897 @default.
- W2034758493 hasConcept C207648694 @default.
- W2034758493 hasConcept C29585364 @default.
- W2034758493 hasConcept C33923547 @default.
- W2034758493 hasConcept C41008148 @default.
- W2034758493 hasConcept C55493867 @default.
- W2034758493 hasConcept C80444323 @default.
- W2034758493 hasConcept C86339819 @default.
- W2034758493 hasConcept C87365073 @default.
- W2034758493 hasConcept C89448276 @default.
- W2034758493 hasConceptScore W2034758493C104317684 @default.
- W2034758493 hasConceptScore W2034758493C118615104 @default.
- W2034758493 hasConceptScore W2034758493C150607116 @default.
- W2034758493 hasConceptScore W2034758493C156325763 @default.
- W2034758493 hasConceptScore W2034758493C158448853 @default.
- W2034758493 hasConceptScore W2034758493C161771561 @default.
- W2034758493 hasConceptScore W2034758493C168773036 @default.
- W2034758493 hasConceptScore W2034758493C17020691 @default.
- W2034758493 hasConceptScore W2034758493C184337299 @default.
- W2034758493 hasConceptScore W2034758493C185592680 @default.
- W2034758493 hasConceptScore W2034758493C193702766 @default.
- W2034758493 hasConceptScore W2034758493C199360897 @default.
- W2034758493 hasConceptScore W2034758493C207648694 @default.
- W2034758493 hasConceptScore W2034758493C29585364 @default.
- W2034758493 hasConceptScore W2034758493C33923547 @default.
- W2034758493 hasConceptScore W2034758493C41008148 @default.
- W2034758493 hasConceptScore W2034758493C55493867 @default.
- W2034758493 hasConceptScore W2034758493C80444323 @default.
- W2034758493 hasConceptScore W2034758493C86339819 @default.
- W2034758493 hasConceptScore W2034758493C87365073 @default.
- W2034758493 hasConceptScore W2034758493C89448276 @default.
- W2034758493 hasLocation W20347584931 @default.
- W2034758493 hasOpenAccess W2034758493 @default.
- W2034758493 hasPrimaryLocation W20347584931 @default.
- W2034758493 hasRelatedWork W1500490537 @default.
- W2034758493 hasRelatedWork W1578958123 @default.
- W2034758493 hasRelatedWork W1969894701 @default.
- W2034758493 hasRelatedWork W1985058553 @default.
- W2034758493 hasRelatedWork W2034758493 @default.
- W2034758493 hasRelatedWork W2055530613 @default.
- W2034758493 hasRelatedWork W2096756704 @default.
- W2034758493 hasRelatedWork W2121759322 @default.
- W2034758493 hasRelatedWork W2955500005 @default.
- W2034758493 hasRelatedWork W1958334269 @default.
- W2034758493 hasVolume "286" @default.
- W2034758493 isParatext "false" @default.
- W2034758493 isRetracted "false" @default.
- W2034758493 magId "2034758493" @default.
- W2034758493 workType "article" @default.