Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083896385> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2083896385 endingPage "124" @default.
- W2083896385 startingPage "103" @default.
- W2083896385 abstract "We give a very brief introduction to how concurrent systems can be modelled within process calculi, as terms of an algebraic language whose behaviours are described using transitions. Reasoning has centred on two kinds of questions. One is relationships between descriptions of concurrent systems. The other is appropriate logics for describing crucial properties of concurrent systems. Bisimulation equivalence is briefly described. It can also be characterised in terms of modal logic (Hennessy-Milner logic). However as a logic it is not very expressive. So we also describe modal mu-calculus which is a very expressive temporal logic. In the main part of the paper we show that property checking can be understood in terms of game playing. In the finite state case, games underpin efficient model checking algorithms. The games are also definable independently of property checking as graph games which can be reduced to other combinatorial games. Keywords:Bisimulation, modal logic, fixed point, games" @default.
- W2083896385 created "2016-06-24" @default.
- W2083896385 creator A5056586469 @default.
- W2083896385 date "1999-01-01" @default.
- W2083896385 modified "2023-09-23" @default.
- W2083896385 title "Bisimulation, modal logic and model checking games" @default.
- W2083896385 doi "https://doi.org/10.1093/jigpal/7.1.103" @default.
- W2083896385 hasPublicationYear "1999" @default.
- W2083896385 type Work @default.
- W2083896385 sameAs 2083896385 @default.
- W2083896385 citedByCount "63" @default.
- W2083896385 countsByYear W20838963852012 @default.
- W2083896385 countsByYear W20838963852014 @default.
- W2083896385 countsByYear W20838963852015 @default.
- W2083896385 countsByYear W20838963852016 @default.
- W2083896385 countsByYear W20838963852017 @default.
- W2083896385 countsByYear W20838963852018 @default.
- W2083896385 countsByYear W20838963852019 @default.
- W2083896385 countsByYear W20838963852020 @default.
- W2083896385 countsByYear W20838963852021 @default.
- W2083896385 countsByYear W20838963852022 @default.
- W2083896385 crossrefType "journal-article" @default.
- W2083896385 hasAuthorship W2083896385A5056586469 @default.
- W2083896385 hasConcept C102993220 @default.
- W2083896385 hasConcept C110251889 @default.
- W2083896385 hasConcept C111472728 @default.
- W2083896385 hasConcept C11191006 @default.
- W2083896385 hasConcept C11413529 @default.
- W2083896385 hasConcept C118615104 @default.
- W2083896385 hasConcept C121332964 @default.
- W2083896385 hasConcept C135315306 @default.
- W2083896385 hasConcept C138885662 @default.
- W2083896385 hasConcept C165801399 @default.
- W2083896385 hasConcept C172385210 @default.
- W2083896385 hasConcept C173125200 @default.
- W2083896385 hasConcept C185592680 @default.
- W2083896385 hasConcept C188027245 @default.
- W2083896385 hasConcept C189950617 @default.
- W2083896385 hasConcept C199343813 @default.
- W2083896385 hasConcept C203659156 @default.
- W2083896385 hasConcept C25016198 @default.
- W2083896385 hasConcept C27508121 @default.
- W2083896385 hasConcept C2777686260 @default.
- W2083896385 hasConcept C2777796570 @default.
- W2083896385 hasConcept C2780069185 @default.
- W2083896385 hasConcept C33923547 @default.
- W2083896385 hasConcept C41008148 @default.
- W2083896385 hasConcept C62520636 @default.
- W2083896385 hasConcept C71139939 @default.
- W2083896385 hasConcept C71924100 @default.
- W2083896385 hasConcept C80444323 @default.
- W2083896385 hasConceptScore W2083896385C102993220 @default.
- W2083896385 hasConceptScore W2083896385C110251889 @default.
- W2083896385 hasConceptScore W2083896385C111472728 @default.
- W2083896385 hasConceptScore W2083896385C11191006 @default.
- W2083896385 hasConceptScore W2083896385C11413529 @default.
- W2083896385 hasConceptScore W2083896385C118615104 @default.
- W2083896385 hasConceptScore W2083896385C121332964 @default.
- W2083896385 hasConceptScore W2083896385C135315306 @default.
- W2083896385 hasConceptScore W2083896385C138885662 @default.
- W2083896385 hasConceptScore W2083896385C165801399 @default.
- W2083896385 hasConceptScore W2083896385C172385210 @default.
- W2083896385 hasConceptScore W2083896385C173125200 @default.
- W2083896385 hasConceptScore W2083896385C185592680 @default.
- W2083896385 hasConceptScore W2083896385C188027245 @default.
- W2083896385 hasConceptScore W2083896385C189950617 @default.
- W2083896385 hasConceptScore W2083896385C199343813 @default.
- W2083896385 hasConceptScore W2083896385C203659156 @default.
- W2083896385 hasConceptScore W2083896385C25016198 @default.
- W2083896385 hasConceptScore W2083896385C27508121 @default.
- W2083896385 hasConceptScore W2083896385C2777686260 @default.
- W2083896385 hasConceptScore W2083896385C2777796570 @default.
- W2083896385 hasConceptScore W2083896385C2780069185 @default.
- W2083896385 hasConceptScore W2083896385C33923547 @default.
- W2083896385 hasConceptScore W2083896385C41008148 @default.
- W2083896385 hasConceptScore W2083896385C62520636 @default.
- W2083896385 hasConceptScore W2083896385C71139939 @default.
- W2083896385 hasConceptScore W2083896385C71924100 @default.
- W2083896385 hasConceptScore W2083896385C80444323 @default.
- W2083896385 hasIssue "1" @default.
- W2083896385 hasLocation W20838963851 @default.
- W2083896385 hasOpenAccess W2083896385 @default.
- W2083896385 hasPrimaryLocation W20838963851 @default.
- W2083896385 hasRelatedWork W1979479785 @default.
- W2083896385 hasRelatedWork W2083896385 @default.
- W2083896385 hasRelatedWork W2133505614 @default.
- W2083896385 hasRelatedWork W2166216406 @default.
- W2083896385 hasRelatedWork W2178366839 @default.
- W2083896385 hasRelatedWork W2793267953 @default.
- W2083896385 hasRelatedWork W2794771199 @default.
- W2083896385 hasRelatedWork W2947093719 @default.
- W2083896385 hasRelatedWork W2963628981 @default.
- W2083896385 hasRelatedWork W2138716118 @default.
- W2083896385 hasVolume "7" @default.
- W2083896385 isParatext "false" @default.
- W2083896385 isRetracted "false" @default.
- W2083896385 magId "2083896385" @default.
- W2083896385 workType "article" @default.