FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W113287545> ?p ?o ?g. }

• W113287545 endingPage "401" @default.
• W113287545 startingPage "387" @default.
• W113287545 abstract "Spatial logics have been proposed to reason locally and modularly on algebraic models of distributed systems. In this paper we define the spatial equational logic AπL whose models are processes of the applied π-calculus. This extension of the π-calculus allows term manipulation and records communications as active substitutions in a frame, thus augmenting the underlying predefined equational theory. Our logic allows one to reason locally either on frames or on processes, thanks to static and dynamic spatial operators. We study the logical equivalences induced by various relevant fragments of AπL, and show in particular that the whole logic induces a coarser equivalence than structural congruence. We give characteristic formulae for some of these equivalences and for static equivalence. Going further into the exploration of AπL’s expressivity, we also show that it can eliminate standard term quantification." @default.
• W113287545 created "2016-06-24" @default.
• W113287545 creator A5011145361 @default.
• W113287545 creator A5084908329 @default.
• W113287545 date "2008-01-01" @default.
• W113287545 modified "2023-10-06" @default.
• W113287545 title "A Spatial Equational Logic for the Applied π-Calculus" @default.
• W113287545 cites W140589515 @default.
• W113287545 cites W1543958520 @default.
• W113287545 cites W1607010325 @default.
• W113287545 cites W2009372148 @default.
• W113287545 cites W2029632316 @default.
• W113287545 cites W2072150543 @default.
• W113287545 cites W2076632469 @default.
• W113287545 cites W2082884063 @default.
• W113287545 cites W2126008038 @default.
• W113287545 cites W2128932399 @default.
• W113287545 cites W2167998587 @default.
• W113287545 cites W2583880647 @default.
• W113287545 cites W3003983481 @default.
• W113287545 cites W4243994983 @default.
• W113287545 doi "https://doi.org/10.1007/978-3-540-85361-9_31" @default.
• W113287545 hasPublicationYear "2008" @default.
• W113287545 type Work @default.
• W113287545 sameAs 113287545 @default.
• W113287545 citedByCount "5" @default.
• W113287545 countsByYear W1132875452012 @default.
• W113287545 crossrefType "book-chapter" @default.
• W113287545 hasAuthorship W113287545A5011145361 @default.
• W113287545 hasAuthorship W113287545A5084908329 @default.
• W113287545 hasBestOaLocation W1132875452 @default.
• W113287545 hasConcept C11413529 @default.
• W113287545 hasConcept C118615104 @default.
• W113287545 hasConcept C121332964 @default.
• W113287545 hasConcept C126042441 @default.
• W113287545 hasConcept C132074034 @default.
• W113287545 hasConcept C136119220 @default.
• W113287545 hasConcept C154564781 @default.
• W113287545 hasConcept C154690210 @default.
• W113287545 hasConcept C161771561 @default.
• W113287545 hasConcept C199343813 @default.
• W113287545 hasConcept C199360897 @default.
• W113287545 hasConcept C202444582 @default.
• W113287545 hasConcept C2524010 @default.
• W113287545 hasConcept C2777686260 @default.
• W113287545 hasConcept C2778029271 @default.
• W113287545 hasConcept C2780069185 @default.
• W113287545 hasConcept C2780432614 @default.
• W113287545 hasConcept C2984882572 @default.
• W113287545 hasConcept C33923547 @default.
• W113287545 hasConcept C41008148 @default.
• W113287545 hasConcept C61797465 @default.
• W113287545 hasConcept C62520636 @default.
• W113287545 hasConcept C70846408 @default.
• W113287545 hasConcept C71924100 @default.
• W113287545 hasConcept C76155785 @default.
• W113287545 hasConcept C80444323 @default.
• W113287545 hasConceptScore W113287545C11413529 @default.
• W113287545 hasConceptScore W113287545C118615104 @default.
• W113287545 hasConceptScore W113287545C121332964 @default.
• W113287545 hasConceptScore W113287545C126042441 @default.
• W113287545 hasConceptScore W113287545C132074034 @default.
• W113287545 hasConceptScore W113287545C136119220 @default.
• W113287545 hasConceptScore W113287545C154564781 @default.
• W113287545 hasConceptScore W113287545C154690210 @default.
• W113287545 hasConceptScore W113287545C161771561 @default.
• W113287545 hasConceptScore W113287545C199343813 @default.
• W113287545 hasConceptScore W113287545C199360897 @default.
• W113287545 hasConceptScore W113287545C202444582 @default.
• W113287545 hasConceptScore W113287545C2524010 @default.
• W113287545 hasConceptScore W113287545C2777686260 @default.
• W113287545 hasConceptScore W113287545C2778029271 @default.
• W113287545 hasConceptScore W113287545C2780069185 @default.
• W113287545 hasConceptScore W113287545C2780432614 @default.
• W113287545 hasConceptScore W113287545C2984882572 @default.
• W113287545 hasConceptScore W113287545C33923547 @default.
• W113287545 hasConceptScore W113287545C41008148 @default.
• W113287545 hasConceptScore W113287545C61797465 @default.
• W113287545 hasConceptScore W113287545C62520636 @default.
• W113287545 hasConceptScore W113287545C70846408 @default.
• W113287545 hasConceptScore W113287545C71924100 @default.
• W113287545 hasConceptScore W113287545C76155785 @default.
• W113287545 hasConceptScore W113287545C80444323 @default.
• W113287545 hasLocation W1132875451 @default.
• W113287545 hasLocation W1132875452 @default.
• W113287545 hasOpenAccess W113287545 @default.
• W113287545 hasPrimaryLocation W1132875451 @default.
• W113287545 hasRelatedWork W113287545 @default.
• W113287545 hasRelatedWork W1543496272 @default.
• W113287545 hasRelatedWork W1565338810 @default.
• W113287545 hasRelatedWork W1605179516 @default.
• W113287545 hasRelatedWork W1808575051 @default.
• W113287545 hasRelatedWork W198751654 @default.
• W113287545 hasRelatedWork W2147877669 @default.
• W113287545 hasRelatedWork W2163278217 @default.
• W113287545 hasRelatedWork W2542445763 @default.
• W113287545 hasRelatedWork W612959659 @default.
• W113287545 isParatext "false" @default.

• next