Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296205740> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2296205740 abstract "A crucial problem for many results and tools about bigraphs and bigraphical reactive systems is bigraph embedding. An embedding is more informative than a bigraph matching, since it keeps track of the correspondence between the various components of the redex (guest) within the agent (host). In this paper, we present an algorithm for computing embeddings based on a reduction to a constraint satisfaction problem. This algorithm, that we prove to be sound and complete, has been successfully implemented in LibBig, a library for manipulating bigraphical reactive systems. This library can be used for implementing a wide range of tools, and it can be adapted to various extensions of bigraphs." @default.
- W2296205740 created "2016-06-24" @default.
- W2296205740 creator A5022827521 @default.
- W2296205740 creator A5024162879 @default.
- W2296205740 date "2014-12-01" @default.
- W2296205740 modified "2023-09-27" @default.
- W2296205740 title "A CSP implementation of the bigraph embedding problem" @default.
- W2296205740 cites W1577544661 @default.
- W2296205740 cites W1588422495 @default.
- W2296205740 cites W1638945901 @default.
- W2296205740 cites W1829661785 @default.
- W2296205740 cites W186083353 @default.
- W2296205740 cites W1868925754 @default.
- W2296205740 cites W1971095420 @default.
- W2296205740 cites W1983485478 @default.
- W2296205740 cites W2026751635 @default.
- W2296205740 cites W2042001106 @default.
- W2296205740 cites W2046021036 @default.
- W2296205740 cites W2066447087 @default.
- W2296205740 cites W2084135842 @default.
- W2296205740 cites W2120926795 @default.
- W2296205740 cites W2156701409 @default.
- W2296205740 cites W2340390498 @default.
- W2296205740 cites W2912052495 @default.
- W2296205740 cites W3037856349 @default.
- W2296205740 cites W3101168710 @default.
- W2296205740 cites W67980525 @default.
- W2296205740 cites W2483344383 @default.
- W2296205740 hasPublicationYear "2014" @default.
- W2296205740 type Work @default.
- W2296205740 sameAs 2296205740 @default.
- W2296205740 citedByCount "6" @default.
- W2296205740 countsByYear W22962057402015 @default.
- W2296205740 countsByYear W22962057402016 @default.
- W2296205740 countsByYear W22962057402019 @default.
- W2296205740 countsByYear W22962057402020 @default.
- W2296205740 crossrefType "posted-content" @default.
- W2296205740 hasAuthorship W2296205740A5022827521 @default.
- W2296205740 hasAuthorship W2296205740A5024162879 @default.
- W2296205740 hasConcept C105795698 @default.
- W2296205740 hasConcept C111335779 @default.
- W2296205740 hasConcept C120314980 @default.
- W2296205740 hasConcept C154945302 @default.
- W2296205740 hasConcept C165064840 @default.
- W2296205740 hasConcept C2524010 @default.
- W2296205740 hasConcept C2776036281 @default.
- W2296205740 hasConcept C33923547 @default.
- W2296205740 hasConcept C41008148 @default.
- W2296205740 hasConcept C41608201 @default.
- W2296205740 hasConcept C80444323 @default.
- W2296205740 hasConceptScore W2296205740C105795698 @default.
- W2296205740 hasConceptScore W2296205740C111335779 @default.
- W2296205740 hasConceptScore W2296205740C120314980 @default.
- W2296205740 hasConceptScore W2296205740C154945302 @default.
- W2296205740 hasConceptScore W2296205740C165064840 @default.
- W2296205740 hasConceptScore W2296205740C2524010 @default.
- W2296205740 hasConceptScore W2296205740C2776036281 @default.
- W2296205740 hasConceptScore W2296205740C33923547 @default.
- W2296205740 hasConceptScore W2296205740C41008148 @default.
- W2296205740 hasConceptScore W2296205740C41608201 @default.
- W2296205740 hasConceptScore W2296205740C80444323 @default.
- W2296205740 hasLocation W22962057401 @default.
- W2296205740 hasOpenAccess W2296205740 @default.
- W2296205740 hasPrimaryLocation W22962057401 @default.
- W2296205740 hasRelatedWork W1588422495 @default.
- W2296205740 hasRelatedWork W1625183863 @default.
- W2296205740 hasRelatedWork W1829661785 @default.
- W2296205740 hasRelatedWork W1868925754 @default.
- W2296205740 hasRelatedWork W1971095420 @default.
- W2296205740 hasRelatedWork W1976396930 @default.
- W2296205740 hasRelatedWork W2026751635 @default.
- W2296205740 hasRelatedWork W2084135842 @default.
- W2296205740 hasRelatedWork W2156701409 @default.
- W2296205740 hasRelatedWork W2158422857 @default.
- W2296205740 hasRelatedWork W2546801677 @default.
- W2296205740 hasRelatedWork W2556540294 @default.
- W2296205740 hasRelatedWork W2889376928 @default.
- W2296205740 hasRelatedWork W3006493014 @default.
- W2296205740 hasRelatedWork W3012724246 @default.
- W2296205740 hasRelatedWork W3038119689 @default.
- W2296205740 hasRelatedWork W3158143516 @default.
- W2296205740 hasRelatedWork W67980525 @default.
- W2296205740 hasRelatedWork W1963843150 @default.
- W2296205740 hasRelatedWork W2483344383 @default.
- W2296205740 isParatext "false" @default.
- W2296205740 isRetracted "false" @default.
- W2296205740 magId "2296205740" @default.
- W2296205740 workType "article" @default.