Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158422857> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2158422857 endingPage "73" @default.
- W2158422857 startingPage "43" @default.
- W2158422857 abstract "Bigraphical Reactive Systems (BRS) were designed by Milner as a universal formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But the underlying model of location (the place graph) is a forest, which means there is no straightforward representation of locations that can overlap or intersect. This occurs in many domains, for example in wireless signalling, social interactions and audio communications. Here, we define bigraphs with sharing, which solves this problem by an extension of the basic formalism: we define the place graph as a directed acyclic graph, thus allowing a natural representation of overlapping or intersecting locations. We give a complete presentation of the theory of bigraphs with sharing, including a categorical semantics, algebraic properties, and several essential procedures for computation: bigraph with sharing matching, a SAT encoding of matching, and checking a fragment of the logic BiLog. We show that matching is an instance of the NP-complete sub-graph isomorphism problem and our approach based on a SAT encoding is also efficient for standard bigraphs. We give an overview of BigraphER (Bigraph Evaluator & Rewriting), an efficient implementation of bigraphs with sharing that provides manipulation, simulation and visualisation. The matching engine is based on the SAT encoding of the matching algorithm. Examples from the 802.11 CSMA/CA RTS/CTS protocol and a network management support system illustrate the applicability of the new theory." @default.
- W2158422857 created "2016-06-24" @default.
- W2158422857 creator A5015862123 @default.
- W2158422857 creator A5042005513 @default.
- W2158422857 date "2015-04-01" @default.
- W2158422857 modified "2023-10-16" @default.
- W2158422857 title "Bigraphs with sharing" @default.
- W2158422857 cites W1976396930 @default.
- W2158422857 cites W2049318064 @default.
- W2158422857 cites W2116355936 @default.
- W2158422857 cites W2126359798 @default.
- W2158422857 cites W2128695242 @default.
- W2158422857 cites W2131255145 @default.
- W2158422857 cites W2340390498 @default.
- W2158422857 cites W2912052495 @default.
- W2158422857 doi "https://doi.org/10.1016/j.tcs.2015.02.011" @default.
- W2158422857 hasPublicationYear "2015" @default.
- W2158422857 type Work @default.
- W2158422857 sameAs 2158422857 @default.
- W2158422857 citedByCount "39" @default.
- W2158422857 countsByYear W21584228572015 @default.
- W2158422857 countsByYear W21584228572016 @default.
- W2158422857 countsByYear W21584228572017 @default.
- W2158422857 countsByYear W21584228572018 @default.
- W2158422857 countsByYear W21584228572019 @default.
- W2158422857 countsByYear W21584228572020 @default.
- W2158422857 countsByYear W21584228572021 @default.
- W2158422857 countsByYear W21584228572022 @default.
- W2158422857 countsByYear W21584228572023 @default.
- W2158422857 crossrefType "journal-article" @default.
- W2158422857 hasAuthorship W2158422857A5015862123 @default.
- W2158422857 hasAuthorship W2158422857A5042005513 @default.
- W2158422857 hasBestOaLocation W21584228571 @default.
- W2158422857 hasConcept C132525143 @default.
- W2158422857 hasConcept C138885662 @default.
- W2158422857 hasConcept C151319957 @default.
- W2158422857 hasConcept C154690210 @default.
- W2158422857 hasConcept C199360897 @default.
- W2158422857 hasConcept C2779808786 @default.
- W2158422857 hasConcept C31258907 @default.
- W2158422857 hasConcept C41008148 @default.
- W2158422857 hasConcept C41895202 @default.
- W2158422857 hasConcept C558772884 @default.
- W2158422857 hasConcept C80444323 @default.
- W2158422857 hasConceptScore W2158422857C132525143 @default.
- W2158422857 hasConceptScore W2158422857C138885662 @default.
- W2158422857 hasConceptScore W2158422857C151319957 @default.
- W2158422857 hasConceptScore W2158422857C154690210 @default.
- W2158422857 hasConceptScore W2158422857C199360897 @default.
- W2158422857 hasConceptScore W2158422857C2779808786 @default.
- W2158422857 hasConceptScore W2158422857C31258907 @default.
- W2158422857 hasConceptScore W2158422857C41008148 @default.
- W2158422857 hasConceptScore W2158422857C41895202 @default.
- W2158422857 hasConceptScore W2158422857C558772884 @default.
- W2158422857 hasConceptScore W2158422857C80444323 @default.
- W2158422857 hasFunder F4320334627 @default.
- W2158422857 hasLocation W21584228571 @default.
- W2158422857 hasLocation W21584228572 @default.
- W2158422857 hasOpenAccess W2158422857 @default.
- W2158422857 hasPrimaryLocation W21584228571 @default.
- W2158422857 hasRelatedWork W1501947878 @default.
- W2158422857 hasRelatedWork W1523116568 @default.
- W2158422857 hasRelatedWork W1541376699 @default.
- W2158422857 hasRelatedWork W1553079342 @default.
- W2158422857 hasRelatedWork W1971749487 @default.
- W2158422857 hasRelatedWork W2006970999 @default.
- W2158422857 hasRelatedWork W2612055453 @default.
- W2158422857 hasRelatedWork W3005997194 @default.
- W2158422857 hasRelatedWork W3175766486 @default.
- W2158422857 hasRelatedWork W4377938775 @default.
- W2158422857 hasVolume "577" @default.
- W2158422857 isParatext "false" @default.
- W2158422857 isRetracted "false" @default.
- W2158422857 magId "2158422857" @default.
- W2158422857 workType "article" @default.