Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104680392> ?p ?o ?g. }
- W2104680392 endingPage "35" @default.
- W2104680392 startingPage "1" @default.
- W2104680392 abstract "We specify the operational semantics and bisimulation relations for the finite φ-calculus within a logic that contains the ∇ quantifier for encoding generic judgments and definitions for encoding fixed points. Since we restrict to the finite case, the ability of the logic to unfold fixed points allows this logic to be complete for both the inductive nature of operational semantics and the coinductive nature of bisimulation. The ∇ quantifier helps with the delicate issues surrounding the scope of variables within φ-calculus expressions and their executions (proofs). We illustrate several merits of the logical specifications permitted by this logic: they are natural and declarative; they contain no side-conditions concerning names of variables while maintaining a completely formal treatment of such variables; differences between late and open bisimulation relations arise from familar logic distinctions; the interplay between the three quantifiers (∀, ∃, and ∇) and their scopes can explain the differences between early and late bisimulation and between various modal operators based on bound input and output actions; and proof search involving the application of inference rules, unification, and backtracking can provide complete proof systems for one-step transitions, bisimulation, and satisfaction in modal logic. We also illustrate how one can encode the φ-calculus with replications, in an extended logic with induction and co-induction." @default.
- W2104680392 created "2016-06-24" @default.
- W2104680392 creator A5018394339 @default.
- W2104680392 creator A5071064651 @default.
- W2104680392 date "2010-01-01" @default.
- W2104680392 modified "2023-10-14" @default.
- W2104680392 title "Proof search specifications of bisimulation and modal logics for the π-calculus" @default.
- W2104680392 cites W1499101893 @default.
- W2104680392 cites W1500475867 @default.
- W2104680392 cites W1594569245 @default.
- W2104680392 cites W1684926818 @default.
- W2104680392 cites W1889888010 @default.
- W2104680392 cites W1975082667 @default.
- W2104680392 cites W1988449272 @default.
- W2104680392 cites W1991936529 @default.
- W2104680392 cites W1994943823 @default.
- W2104680392 cites W1996404651 @default.
- W2104680392 cites W1997454380 @default.
- W2104680392 cites W2002039618 @default.
- W2104680392 cites W2013672985 @default.
- W2104680392 cites W2027689693 @default.
- W2104680392 cites W2032234226 @default.
- W2104680392 cites W2033339909 @default.
- W2104680392 cites W2034676877 @default.
- W2104680392 cites W2050702141 @default.
- W2104680392 cites W2062968803 @default.
- W2104680392 cites W2070324762 @default.
- W2104680392 cites W2070577487 @default.
- W2104680392 cites W2075352622 @default.
- W2104680392 cites W2076892721 @default.
- W2104680392 cites W2093111544 @default.
- W2104680392 cites W2099521332 @default.
- W2104680392 cites W2106102830 @default.
- W2104680392 cites W2107463944 @default.
- W2104680392 cites W2119749753 @default.
- W2104680392 cites W2129533356 @default.
- W2104680392 cites W2142995137 @default.
- W2104680392 cites W2143073089 @default.
- W2104680392 cites W2154380615 @default.
- W2104680392 cites W2180471721 @default.
- W2104680392 cites W2568721247 @default.
- W2104680392 cites W2913663755 @default.
- W2104680392 cites W4237428230 @default.
- W2104680392 doi "https://doi.org/10.1145/1656242.1656248" @default.
- W2104680392 hasPublicationYear "2010" @default.
- W2104680392 type Work @default.
- W2104680392 sameAs 2104680392 @default.
- W2104680392 citedByCount "24" @default.
- W2104680392 countsByYear W21046803922012 @default.
- W2104680392 countsByYear W21046803922013 @default.
- W2104680392 countsByYear W21046803922014 @default.
- W2104680392 countsByYear W21046803922015 @default.
- W2104680392 countsByYear W21046803922017 @default.
- W2104680392 countsByYear W21046803922018 @default.
- W2104680392 countsByYear W21046803922019 @default.
- W2104680392 crossrefType "journal-article" @default.
- W2104680392 hasAuthorship W2104680392A5018394339 @default.
- W2104680392 hasAuthorship W2104680392A5071064651 @default.
- W2104680392 hasBestOaLocation W21046803922 @default.
- W2104680392 hasConcept C102993220 @default.
- W2104680392 hasConcept C108710211 @default.
- W2104680392 hasConcept C135315306 @default.
- W2104680392 hasConcept C136119220 @default.
- W2104680392 hasConcept C185592680 @default.
- W2104680392 hasConcept C188027245 @default.
- W2104680392 hasConcept C199343813 @default.
- W2104680392 hasConcept C199360897 @default.
- W2104680392 hasConcept C202444582 @default.
- W2104680392 hasConcept C203659156 @default.
- W2104680392 hasConcept C2524010 @default.
- W2104680392 hasConcept C27508121 @default.
- W2104680392 hasConcept C2777686260 @default.
- W2104680392 hasConcept C33923547 @default.
- W2104680392 hasConcept C3746660 @default.
- W2104680392 hasConcept C41008148 @default.
- W2104680392 hasConcept C71139939 @default.
- W2104680392 hasConcept C71924100 @default.
- W2104680392 hasConcept C80444323 @default.
- W2104680392 hasConceptScore W2104680392C102993220 @default.
- W2104680392 hasConceptScore W2104680392C108710211 @default.
- W2104680392 hasConceptScore W2104680392C135315306 @default.
- W2104680392 hasConceptScore W2104680392C136119220 @default.
- W2104680392 hasConceptScore W2104680392C185592680 @default.
- W2104680392 hasConceptScore W2104680392C188027245 @default.
- W2104680392 hasConceptScore W2104680392C199343813 @default.
- W2104680392 hasConceptScore W2104680392C199360897 @default.
- W2104680392 hasConceptScore W2104680392C202444582 @default.
- W2104680392 hasConceptScore W2104680392C203659156 @default.
- W2104680392 hasConceptScore W2104680392C2524010 @default.
- W2104680392 hasConceptScore W2104680392C27508121 @default.
- W2104680392 hasConceptScore W2104680392C2777686260 @default.
- W2104680392 hasConceptScore W2104680392C33923547 @default.
- W2104680392 hasConceptScore W2104680392C3746660 @default.
- W2104680392 hasConceptScore W2104680392C41008148 @default.
- W2104680392 hasConceptScore W2104680392C71139939 @default.
- W2104680392 hasConceptScore W2104680392C71924100 @default.
- W2104680392 hasConceptScore W2104680392C80444323 @default.
- W2104680392 hasFunder F4320313934 @default.