Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951718250> ?p ?o ?g. }
- W2951718250 abstract "We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these systems is introduced, and proved adequate and expressively complete for bisimulation equivalence. A main technical novelty is the use of finitely supported infinite conjunctions. We show how to treat different bisimulation variants such as early, late, open and weak in a systematic way, explore the folklore theorem that state predicates can be replaced by actions, and make substantial comparisons with related work. The main definitions and theorems have been formalised in Nominal Isabelle." @default.
- W2951718250 created "2019-06-27" @default.
- W2951718250 creator A5002788951 @default.
- W2951718250 creator A5038036076 @default.
- W2951718250 creator A5042834681 @default.
- W2951718250 creator A5083906333 @default.
- W2951718250 creator A5086120198 @default.
- W2951718250 date "2019-04-04" @default.
- W2951718250 modified "2023-09-25" @default.
- W2951718250 title "Modal Logics for Nominal Transition Systems" @default.
- W2951718250 cites W100959742 @default.
- W2951718250 cites W1503973138 @default.
- W2951718250 cites W1504504841 @default.
- W2951718250 cites W1509817786 @default.
- W2951718250 cites W1532114603 @default.
- W2951718250 cites W1539807509 @default.
- W2951718250 cites W1552902269 @default.
- W2951718250 cites W1561444936 @default.
- W2951718250 cites W1573313194 @default.
- W2951718250 cites W1587782590 @default.
- W2951718250 cites W1589421353 @default.
- W2951718250 cites W1590315663 @default.
- W2951718250 cites W1821411012 @default.
- W2951718250 cites W1895954544 @default.
- W2951718250 cites W1973054120 @default.
- W2951718250 cites W1973627522 @default.
- W2951718250 cites W1978375202 @default.
- W2951718250 cites W1978469611 @default.
- W2951718250 cites W1994676271 @default.
- W2951718250 cites W2015640848 @default.
- W2951718250 cites W2016427594 @default.
- W2951718250 cites W2018812956 @default.
- W2951718250 cites W2063608931 @default.
- W2951718250 cites W2067783335 @default.
- W2951718250 cites W2072150543 @default.
- W2951718250 cites W2106102830 @default.
- W2951718250 cites W2106192381 @default.
- W2951718250 cites W2108796478 @default.
- W2951718250 cites W2117622184 @default.
- W2951718250 cites W2123814533 @default.
- W2951718250 cites W2126382654 @default.
- W2951718250 cites W2128932399 @default.
- W2951718250 cites W2133307747 @default.
- W2951718250 cites W2135333778 @default.
- W2951718250 cites W2143357632 @default.
- W2951718250 cites W2152762348 @default.
- W2951718250 cites W2171536993 @default.
- W2951718250 cites W2180471721 @default.
- W2951718250 cites W2294824106 @default.
- W2951718250 cites W2578884485 @default.
- W2951718250 cites W2601905883 @default.
- W2951718250 cites W2619304060 @default.
- W2951718250 cites W2620286833 @default.
- W2951718250 cites W2760335087 @default.
- W2951718250 cites W2913295794 @default.
- W2951718250 cites W2951033737 @default.
- W2951718250 cites W3029749730 @default.
- W2951718250 cites W2052295798 @default.
- W2951718250 hasPublicationYear "2019" @default.
- W2951718250 type Work @default.
- W2951718250 sameAs 2951718250 @default.
- W2951718250 citedByCount "0" @default.
- W2951718250 crossrefType "posted-content" @default.
- W2951718250 hasAuthorship W2951718250A5002788951 @default.
- W2951718250 hasAuthorship W2951718250A5038036076 @default.
- W2951718250 hasAuthorship W2951718250A5042834681 @default.
- W2951718250 hasAuthorship W2951718250A5083906333 @default.
- W2951718250 hasAuthorship W2951718250A5086120198 @default.
- W2951718250 hasConcept C102993220 @default.
- W2951718250 hasConcept C104317684 @default.
- W2951718250 hasConcept C11191006 @default.
- W2951718250 hasConcept C11413529 @default.
- W2951718250 hasConcept C118615104 @default.
- W2951718250 hasConcept C121332964 @default.
- W2951718250 hasConcept C135315306 @default.
- W2951718250 hasConcept C136119220 @default.
- W2951718250 hasConcept C138885662 @default.
- W2951718250 hasConcept C173125200 @default.
- W2951718250 hasConcept C185592680 @default.
- W2951718250 hasConcept C188027245 @default.
- W2951718250 hasConcept C194232998 @default.
- W2951718250 hasConcept C202444582 @default.
- W2951718250 hasConcept C203659156 @default.
- W2951718250 hasConcept C27206212 @default.
- W2951718250 hasConcept C27508121 @default.
- W2951718250 hasConcept C2778738651 @default.
- W2951718250 hasConcept C2779167558 @default.
- W2951718250 hasConcept C2780069185 @default.
- W2951718250 hasConcept C2780791683 @default.
- W2951718250 hasConcept C33923547 @default.
- W2951718250 hasConcept C41008148 @default.
- W2951718250 hasConcept C48103436 @default.
- W2951718250 hasConcept C55493867 @default.
- W2951718250 hasConcept C62520636 @default.
- W2951718250 hasConcept C71139939 @default.
- W2951718250 hasConcept C80444323 @default.
- W2951718250 hasConceptScore W2951718250C102993220 @default.
- W2951718250 hasConceptScore W2951718250C104317684 @default.
- W2951718250 hasConceptScore W2951718250C11191006 @default.
- W2951718250 hasConceptScore W2951718250C11413529 @default.