Matches in SemOpenAlex for { <https://semopenalex.org/work/W1640643554> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1640643554 abstract "Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and the Ambient calculus. This paper is only concerned with bigraphical syntax: given what we here call a bigraphical signature K, Milner constructs a (pre-) category of bigraphs BBig(K), whose main features are (1) the presence of relative pushouts (RPOs), which makes them well-behaved w.r.t. bisimulations, and that (2) the so-called structural equations become equalities. Examples of the latter include, e.g., in pi and Ambient, renaming of bound variables, associativity and commutativity of parallel composition, or scope extrusion for restricted names. Also, bigraphs follow a scoping discipline ensuring that, roughly, bound variables never escape their scope. Here, we reconstruct bigraphs using a standard categorical tool: symmetric monoidal closed (SMC) theories. Our theory enforces the same scoping discipline as bigraphs, as a direct property of SMC structure. Furthermore, it elucidates the slightly mysterious status of so-called links in bigraphs. Finally, our category is also considerably larger than the category of bigraphs, notably encompassing in the same framework terms and a flexible form of higher-order contexts." @default.
- W1640643554 created "2016-06-24" @default.
- W1640643554 creator A5021644096 @default.
- W1640643554 creator A5051441768 @default.
- W1640643554 date "2008-10-24" @default.
- W1640643554 modified "2023-09-23" @default.
- W1640643554 title "Binding bigraphs as symmetric monoidal closed theories" @default.
- W1640643554 cites W1524658540 @default.
- W1640643554 cites W1533537820 @default.
- W1640643554 cites W1546805905 @default.
- W1640643554 cites W1557330313 @default.
- W1640643554 cites W1592122327 @default.
- W1640643554 cites W1595538656 @default.
- W1640643554 cites W1607352284 @default.
- W1640643554 cites W1667712480 @default.
- W1640643554 cites W1675309158 @default.
- W1640643554 cites W167874995 @default.
- W1640643554 cites W2009464583 @default.
- W1640643554 cites W2070813818 @default.
- W1640643554 cites W2075367647 @default.
- W1640643554 cites W2079171825 @default.
- W1640643554 cites W2084135842 @default.
- W1640643554 cites W2107674601 @default.
- W1640643554 cites W2108857165 @default.
- W1640643554 cites W2128932399 @default.
- W1640643554 cites W2137850935 @default.
- W1640643554 cites W2157389421 @default.
- W1640643554 cites W2164822567 @default.
- W1640643554 cites W2288986295 @default.
- W1640643554 cites W2911865844 @default.
- W1640643554 cites W2912003593 @default.
- W1640643554 cites W2912052495 @default.
- W1640643554 hasPublicationYear "2008" @default.
- W1640643554 type Work @default.
- W1640643554 sameAs 1640643554 @default.
- W1640643554 citedByCount "1" @default.
- W1640643554 crossrefType "posted-content" @default.
- W1640643554 hasAuthorship W1640643554A5021644096 @default.
- W1640643554 hasAuthorship W1640643554A5051441768 @default.
- W1640643554 hasBestOaLocation W16406435541 @default.
- W1640643554 hasConcept C136119220 @default.
- W1640643554 hasConcept C202444582 @default.
- W1640643554 hasConcept C33923547 @default.
- W1640643554 hasConcept C41008148 @default.
- W1640643554 hasConceptScore W1640643554C136119220 @default.
- W1640643554 hasConceptScore W1640643554C202444582 @default.
- W1640643554 hasConceptScore W1640643554C33923547 @default.
- W1640643554 hasConceptScore W1640643554C41008148 @default.
- W1640643554 hasLocation W16406435541 @default.
- W1640643554 hasLocation W16406435542 @default.
- W1640643554 hasLocation W16406435543 @default.
- W1640643554 hasLocation W16406435544 @default.
- W1640643554 hasOpenAccess W1640643554 @default.
- W1640643554 hasPrimaryLocation W16406435541 @default.
- W1640643554 hasRelatedWork W1557945163 @default.
- W1640643554 hasRelatedWork W1912064545 @default.
- W1640643554 hasRelatedWork W1985218657 @default.
- W1640643554 hasRelatedWork W2064847051 @default.
- W1640643554 hasRelatedWork W2096753949 @default.
- W1640643554 hasRelatedWork W2742285599 @default.
- W1640643554 hasRelatedWork W2963341196 @default.
- W1640643554 hasRelatedWork W3099641547 @default.
- W1640643554 hasRelatedWork W3124205579 @default.
- W1640643554 hasRelatedWork W4249580765 @default.
- W1640643554 isParatext "false" @default.
- W1640643554 isRetracted "false" @default.
- W1640643554 magId "1640643554" @default.
- W1640643554 workType "article" @default.