Matches in SemOpenAlex for { <https://semopenalex.org/work/W1867859667> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1867859667 endingPage "110" @default.
- W1867859667 startingPage "91" @default.
- W1867859667 abstract "Aiming at a unified view of the logics describing spatial structures, we introduce a general framework, BiLog, whose formulae characterise monoidal categories. As a first instance of the framework we consider bigraphs, which are emerging as a an interesting (meta-)model for spatial structures and distributed calculi. Since bigraphs are built orthogonally on two structures, a hierarchical place graph for locations and a link (hyper-)graph for connections, we obtain a logic that is a natural composition of other two instances of BiLog: a Place Graph Logic and a Link Graph Logic. We prove that these instances generalise the spatial logics for trees, for graphs and for tree contexts. We also explore the concepts of separation and sharing in these logics. We note that both the operator m of Separation Logic and the operator * of spatial logics do not completely separate the underlying structures. These two different forms of separation can be naturally derived as instances of BiLog by using the complete separation induced by the tensor product of monoidal categories along with some form of sharing." @default.
- W1867859667 created "2016-06-24" @default.
- W1867859667 creator A5010359542 @default.
- W1867859667 creator A5067426975 @default.
- W1867859667 creator A5071769968 @default.
- W1867859667 date "2008-03-01" @default.
- W1867859667 modified "2023-09-23" @default.
- W1867859667 title "Static BiLog: a Unifying Language for Spatial Structures" @default.
- W1867859667 cites W1495106476 @default.
- W1867859667 cites W1495299640 @default.
- W1867859667 cites W1495368328 @default.
- W1867859667 cites W1513218800 @default.
- W1867859667 cites W1523677253 @default.
- W1867859667 cites W1524658540 @default.
- W1867859667 cites W1604131184 @default.
- W1867859667 cites W1638945901 @default.
- W1867859667 cites W167874995 @default.
- W1867859667 cites W1932110987 @default.
- W1867859667 cites W1953089651 @default.
- W1867859667 cites W1969001723 @default.
- W1867859667 cites W1981382949 @default.
- W1867859667 cites W1982081755 @default.
- W1867859667 cites W2120076632 @default.
- W1867859667 cites W2126008038 @default.
- W1867859667 cites W2134871878 @default.
- W1867859667 cites W2138984561 @default.
- W1867859667 cites W2180471721 @default.
- W1867859667 cites W2808426256 @default.
- W1867859667 cites W2912052495 @default.
- W1867859667 cites W66753189 @default.
- W1867859667 cites W3021734953 @default.
- W1867859667 hasPublicationYear "2008" @default.
- W1867859667 type Work @default.
- W1867859667 sameAs 1867859667 @default.
- W1867859667 citedByCount "4" @default.
- W1867859667 countsByYear W18678596672012 @default.
- W1867859667 countsByYear W18678596672018 @default.
- W1867859667 countsByYear W18678596672021 @default.
- W1867859667 crossrefType "journal-article" @default.
- W1867859667 hasAuthorship W1867859667A5010359542 @default.
- W1867859667 hasAuthorship W1867859667A5067426975 @default.
- W1867859667 hasAuthorship W1867859667A5071769968 @default.
- W1867859667 hasConcept C132525143 @default.
- W1867859667 hasConcept C33923547 @default.
- W1867859667 hasConcept C41008148 @default.
- W1867859667 hasConcept C80444323 @default.
- W1867859667 hasConceptScore W1867859667C132525143 @default.
- W1867859667 hasConceptScore W1867859667C33923547 @default.
- W1867859667 hasConceptScore W1867859667C41008148 @default.
- W1867859667 hasConceptScore W1867859667C80444323 @default.
- W1867859667 hasIssue "1" @default.
- W1867859667 hasLocation W18678596671 @default.
- W1867859667 hasOpenAccess W1867859667 @default.
- W1867859667 hasPrimaryLocation W18678596671 @default.
- W1867859667 hasRelatedWork W113287545 @default.
- W1867859667 hasRelatedWork W1511295272 @default.
- W1867859667 hasRelatedWork W1570729432 @default.
- W1867859667 hasRelatedWork W1570796240 @default.
- W1867859667 hasRelatedWork W1604520962 @default.
- W1867859667 hasRelatedWork W1677700505 @default.
- W1867859667 hasRelatedWork W1785615301 @default.
- W1867859667 hasRelatedWork W1963725929 @default.
- W1867859667 hasRelatedWork W1969434560 @default.
- W1867859667 hasRelatedWork W1986848695 @default.
- W1867859667 hasRelatedWork W2022355674 @default.
- W1867859667 hasRelatedWork W2045097267 @default.
- W1867859667 hasRelatedWork W2075597035 @default.
- W1867859667 hasRelatedWork W2088922614 @default.
- W1867859667 hasRelatedWork W2465223121 @default.
- W1867859667 hasRelatedWork W2508184183 @default.
- W1867859667 hasRelatedWork W2527488046 @default.
- W1867859667 hasRelatedWork W2895651535 @default.
- W1867859667 hasRelatedWork W3106280715 @default.
- W1867859667 hasRelatedWork W3157705810 @default.
- W1867859667 hasVolume "80" @default.
- W1867859667 isParatext "false" @default.
- W1867859667 isRetracted "false" @default.
- W1867859667 magId "1867859667" @default.
- W1867859667 workType "article" @default.