Matches in SemOpenAlex for { <https://semopenalex.org/work/W3038119689> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3038119689 endingPage "56" @default.
- W3038119689 startingPage "38" @default.
- W3038119689 abstract "Directed bigraphs are a meta-model which generalises Milner’s bigraphs by taking into account the request flow between controls and names. A key problem about these bigraphs is that of bigraph embedding, i.e., finding the embeddings of a bigraph inside a larger one. We present an algorithm for computing embeddings of directed bigraphs, via a reduction to a constraint satisfaction problem. We prove soundness and completeness of this algorithm, and provide an implementation in jLibBig , a general Java library for manipulating bigraphical reactive systems, together with some experimental results." @default.
- W3038119689 created "2020-07-02" @default.
- W3038119689 creator A5017344776 @default.
- W3038119689 creator A5022827521 @default.
- W3038119689 creator A5024162879 @default.
- W3038119689 date "2020-01-01" @default.
- W3038119689 modified "2023-09-28" @default.
- W3038119689 title "Computing Embeddings of Directed Bigraphs" @default.
- W3038119689 cites W1541912827 @default.
- W3038119689 cites W1559863564 @default.
- W3038119689 cites W1625183863 @default.
- W3038119689 cites W1829661785 @default.
- W3038119689 cites W1868925754 @default.
- W3038119689 cites W2026751635 @default.
- W3038119689 cites W2027888011 @default.
- W3038119689 cites W2042001106 @default.
- W3038119689 cites W2084135842 @default.
- W3038119689 cites W2158422857 @default.
- W3038119689 cites W2340390498 @default.
- W3038119689 cites W2889376928 @default.
- W3038119689 cites W2970973071 @default.
- W3038119689 cites W3004525408 @default.
- W3038119689 cites W3014605070 @default.
- W3038119689 cites W3037856349 @default.
- W3038119689 cites W4294621147 @default.
- W3038119689 cites W67980525 @default.
- W3038119689 doi "https://doi.org/10.1007/978-3-030-51372-6_3" @default.
- W3038119689 hasPublicationYear "2020" @default.
- W3038119689 type Work @default.
- W3038119689 sameAs 3038119689 @default.
- W3038119689 citedByCount "1" @default.
- W3038119689 countsByYear W30381196892021 @default.
- W3038119689 crossrefType "book-chapter" @default.
- W3038119689 hasAuthorship W3038119689A5017344776 @default.
- W3038119689 hasAuthorship W3038119689A5022827521 @default.
- W3038119689 hasAuthorship W3038119689A5024162879 @default.
- W3038119689 hasBestOaLocation W30381196891 @default.
- W3038119689 hasConcept C134306372 @default.
- W3038119689 hasConcept C154945302 @default.
- W3038119689 hasConcept C17231256 @default.
- W3038119689 hasConcept C199360897 @default.
- W3038119689 hasConcept C2524010 @default.
- W3038119689 hasConcept C2776036281 @default.
- W3038119689 hasConcept C33923547 @default.
- W3038119689 hasConcept C39920170 @default.
- W3038119689 hasConcept C41008148 @default.
- W3038119689 hasConcept C41608201 @default.
- W3038119689 hasConcept C80444323 @default.
- W3038119689 hasConceptScore W3038119689C134306372 @default.
- W3038119689 hasConceptScore W3038119689C154945302 @default.
- W3038119689 hasConceptScore W3038119689C17231256 @default.
- W3038119689 hasConceptScore W3038119689C199360897 @default.
- W3038119689 hasConceptScore W3038119689C2524010 @default.
- W3038119689 hasConceptScore W3038119689C2776036281 @default.
- W3038119689 hasConceptScore W3038119689C33923547 @default.
- W3038119689 hasConceptScore W3038119689C39920170 @default.
- W3038119689 hasConceptScore W3038119689C41008148 @default.
- W3038119689 hasConceptScore W3038119689C41608201 @default.
- W3038119689 hasConceptScore W3038119689C80444323 @default.
- W3038119689 hasLocation W30381196891 @default.
- W3038119689 hasLocation W30381196892 @default.
- W3038119689 hasLocation W30381196893 @default.
- W3038119689 hasOpenAccess W3038119689 @default.
- W3038119689 hasPrimaryLocation W30381196891 @default.
- W3038119689 hasRelatedWork W1523124202 @default.
- W3038119689 hasRelatedWork W1566675145 @default.
- W3038119689 hasRelatedWork W1807678626 @default.
- W3038119689 hasRelatedWork W2106880005 @default.
- W3038119689 hasRelatedWork W2117798332 @default.
- W3038119689 hasRelatedWork W2124315269 @default.
- W3038119689 hasRelatedWork W2370092331 @default.
- W3038119689 hasRelatedWork W2952113515 @default.
- W3038119689 hasRelatedWork W4312602175 @default.
- W3038119689 hasRelatedWork W95452002 @default.
- W3038119689 isParatext "false" @default.
- W3038119689 isRetracted "false" @default.
- W3038119689 magId "3038119689" @default.
- W3038119689 workType "book-chapter" @default.