Matches in SemOpenAlex for { <https://semopenalex.org/work/W2462226377> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2462226377 endingPage "807" @default.
- W2462226377 startingPage "779" @default.
- W2462226377 abstract "In concurrency, processes can be studied using a partial order or an interleaving semantics. In partial order semantics, at least four different kinds of behaviour can be recognized: concurrency, causality, conflict and confusion. In interleaving semantics, only conflicts can be observed. All these features can be characterized in logical terms, and various logics have been defined for this purpose. For instance, Hennessy–Milner logic is a modal language that captures strong bisimilarity, the standard bisimulation equivalence for processes with interleaving semantics. However, when considering processes with partial order semantics, stronger equivalences are used and more discriminating logics are needed. In the present article, we study conditions to ease the definition of such logics and equivalences for processes with partial order semantics. More specifically, we study the impact that nondeterminism can have on some fixpoint modal logics and bisimulation equivalences for concurrent and multi-agent systems, when it is systematically restricted within the four kinds of behaviours mentioned above. Our results show that when the concurrency and confusion relations are taken to be deterministic, then the main equivalence for causal behaviour can be completely captured (even in logical and game-theoretic terms) by a simpler, weaker, more local bisimulation relation. We also provide key examples of the kinds of processes that can be modelled using deterministic confusion to illustrate the expressive power of the general framework defined here." @default.
- W2462226377 created "2016-07-22" @default.
- W2462226377 creator A5007740136 @default.
- W2462226377 date "2015-06-08" @default.
- W2462226377 modified "2023-09-27" @default.
- W2462226377 title "On fixpoint logics and equivalences for processes with restricted nondeterminism" @default.
- W2462226377 cites W1507873625 @default.
- W2462226377 cites W1551214605 @default.
- W2462226377 cites W1766510866 @default.
- W2462226377 cites W1978145943 @default.
- W2462226377 cites W1978469611 @default.
- W2462226377 cites W1984801861 @default.
- W2462226377 cites W1991052229 @default.
- W2462226377 cites W2003972637 @default.
- W2462226377 cites W2010263325 @default.
- W2462226377 cites W2015640848 @default.
- W2462226377 cites W2048905609 @default.
- W2462226377 cites W2083896385 @default.
- W2462226377 cites W2107144615 @default.
- W2462226377 cites W2111763696 @default.
- W2462226377 cites W2113084613 @default.
- W2462226377 cites W4210671891 @default.
- W2462226377 cites W4243325464 @default.
- W2462226377 doi "https://doi.org/10.1093/logcom/exv032" @default.
- W2462226377 hasPublicationYear "2015" @default.
- W2462226377 type Work @default.
- W2462226377 sameAs 2462226377 @default.
- W2462226377 citedByCount "0" @default.
- W2462226377 crossrefType "journal-article" @default.
- W2462226377 hasAuthorship W2462226377A5007740136 @default.
- W2462226377 hasBestOaLocation W24622263772 @default.
- W2462226377 hasConcept C102993220 @default.
- W2462226377 hasConcept C111919701 @default.
- W2462226377 hasConcept C114092440 @default.
- W2462226377 hasConcept C118615104 @default.
- W2462226377 hasConcept C134306372 @default.
- W2462226377 hasConcept C135315306 @default.
- W2462226377 hasConcept C173125200 @default.
- W2462226377 hasConcept C184337299 @default.
- W2462226377 hasConcept C193702766 @default.
- W2462226377 hasConcept C199360897 @default.
- W2462226377 hasConcept C203659156 @default.
- W2462226377 hasConcept C2780069185 @default.
- W2462226377 hasConcept C28034677 @default.
- W2462226377 hasConcept C33923547 @default.
- W2462226377 hasConcept C41008148 @default.
- W2462226377 hasConcept C61445026 @default.
- W2462226377 hasConcept C80444323 @default.
- W2462226377 hasConceptScore W2462226377C102993220 @default.
- W2462226377 hasConceptScore W2462226377C111919701 @default.
- W2462226377 hasConceptScore W2462226377C114092440 @default.
- W2462226377 hasConceptScore W2462226377C118615104 @default.
- W2462226377 hasConceptScore W2462226377C134306372 @default.
- W2462226377 hasConceptScore W2462226377C135315306 @default.
- W2462226377 hasConceptScore W2462226377C173125200 @default.
- W2462226377 hasConceptScore W2462226377C184337299 @default.
- W2462226377 hasConceptScore W2462226377C193702766 @default.
- W2462226377 hasConceptScore W2462226377C199360897 @default.
- W2462226377 hasConceptScore W2462226377C203659156 @default.
- W2462226377 hasConceptScore W2462226377C2780069185 @default.
- W2462226377 hasConceptScore W2462226377C28034677 @default.
- W2462226377 hasConceptScore W2462226377C33923547 @default.
- W2462226377 hasConceptScore W2462226377C41008148 @default.
- W2462226377 hasConceptScore W2462226377C61445026 @default.
- W2462226377 hasConceptScore W2462226377C80444323 @default.
- W2462226377 hasFunder F4320338335 @default.
- W2462226377 hasIssue "4" @default.
- W2462226377 hasLocation W24622263771 @default.
- W2462226377 hasLocation W24622263772 @default.
- W2462226377 hasOpenAccess W2462226377 @default.
- W2462226377 hasPrimaryLocation W24622263771 @default.
- W2462226377 hasRelatedWork W1540254171 @default.
- W2462226377 hasRelatedWork W1557351135 @default.
- W2462226377 hasRelatedWork W1868260891 @default.
- W2462226377 hasRelatedWork W2073617562 @default.
- W2462226377 hasRelatedWork W2124448442 @default.
- W2462226377 hasRelatedWork W2148160518 @default.
- W2462226377 hasRelatedWork W2155852086 @default.
- W2462226377 hasRelatedWork W2273393794 @default.
- W2462226377 hasRelatedWork W2614427934 @default.
- W2462226377 hasRelatedWork W4300954151 @default.
- W2462226377 hasVolume "28" @default.
- W2462226377 isParatext "false" @default.
- W2462226377 isRetracted "false" @default.
- W2462226377 magId "2462226377" @default.
- W2462226377 workType "article" @default.