Matches in SemOpenAlex for { <https://semopenalex.org/work/W2174088504> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2174088504 endingPage "356" @default.
- W2174088504 startingPage "333" @default.
- W2174088504 abstract "AbstractIn this chapter a Hennessy-Milner style modal logic for specifying properties of processes is introduced. These properties express specific capabilities of a process. After the definition of the syntax of this logic and its semantics with respect to processes or labelled transition systems, the power of this logic in distinguishing processes is illustrated by a number of examples, including the vending machines from the previous chapter. It is shown that any property expressed in this logic can be expressed without negation. Next, the logic is related to bisimulation equivalence; specifically, it is shown that no formula of modal depth n can distinguish n-game equivalent processes on that system. Characteristic formulae for processes are explored, as well as an alternative approach to defining the semantics of properties." @default.
- W2174088504 created "2016-06-24" @default.
- W2174088504 creator A5004734550 @default.
- W2174088504 creator A5053563069 @default.
- W2174088504 date "2013-01-01" @default.
- W2174088504 modified "2023-10-14" @default.
- W2174088504 title "Logical Properties of Processes" @default.
- W2174088504 doi "https://doi.org/10.1007/978-1-84800-322-4_14" @default.
- W2174088504 hasPublicationYear "2013" @default.
- W2174088504 type Work @default.
- W2174088504 sameAs 2174088504 @default.
- W2174088504 citedByCount "0" @default.
- W2174088504 crossrefType "book-chapter" @default.
- W2174088504 hasAuthorship W2174088504A5004734550 @default.
- W2174088504 hasAuthorship W2174088504A5053563069 @default.
- W2174088504 hasConcept C102993220 @default.
- W2174088504 hasConcept C118615104 @default.
- W2174088504 hasConcept C119599485 @default.
- W2174088504 hasConcept C127413603 @default.
- W2174088504 hasConcept C135315306 @default.
- W2174088504 hasConcept C136119220 @default.
- W2174088504 hasConcept C165801399 @default.
- W2174088504 hasConcept C172385210 @default.
- W2174088504 hasConcept C184337299 @default.
- W2174088504 hasConcept C185592680 @default.
- W2174088504 hasConcept C188027245 @default.
- W2174088504 hasConcept C195818886 @default.
- W2174088504 hasConcept C199360897 @default.
- W2174088504 hasConcept C202444582 @default.
- W2174088504 hasConcept C203659156 @default.
- W2174088504 hasConcept C2185349 @default.
- W2174088504 hasConcept C27508121 @default.
- W2174088504 hasConcept C2777796570 @default.
- W2174088504 hasConcept C2780069185 @default.
- W2174088504 hasConcept C33923547 @default.
- W2174088504 hasConcept C41008148 @default.
- W2174088504 hasConcept C71139939 @default.
- W2174088504 hasConcept C80444323 @default.
- W2174088504 hasConceptScore W2174088504C102993220 @default.
- W2174088504 hasConceptScore W2174088504C118615104 @default.
- W2174088504 hasConceptScore W2174088504C119599485 @default.
- W2174088504 hasConceptScore W2174088504C127413603 @default.
- W2174088504 hasConceptScore W2174088504C135315306 @default.
- W2174088504 hasConceptScore W2174088504C136119220 @default.
- W2174088504 hasConceptScore W2174088504C165801399 @default.
- W2174088504 hasConceptScore W2174088504C172385210 @default.
- W2174088504 hasConceptScore W2174088504C184337299 @default.
- W2174088504 hasConceptScore W2174088504C185592680 @default.
- W2174088504 hasConceptScore W2174088504C188027245 @default.
- W2174088504 hasConceptScore W2174088504C195818886 @default.
- W2174088504 hasConceptScore W2174088504C199360897 @default.
- W2174088504 hasConceptScore W2174088504C202444582 @default.
- W2174088504 hasConceptScore W2174088504C203659156 @default.
- W2174088504 hasConceptScore W2174088504C2185349 @default.
- W2174088504 hasConceptScore W2174088504C27508121 @default.
- W2174088504 hasConceptScore W2174088504C2777796570 @default.
- W2174088504 hasConceptScore W2174088504C2780069185 @default.
- W2174088504 hasConceptScore W2174088504C33923547 @default.
- W2174088504 hasConceptScore W2174088504C41008148 @default.
- W2174088504 hasConceptScore W2174088504C71139939 @default.
- W2174088504 hasConceptScore W2174088504C80444323 @default.
- W2174088504 hasLocation W21740885041 @default.
- W2174088504 hasOpenAccess W2174088504 @default.
- W2174088504 hasPrimaryLocation W21740885041 @default.
- W2174088504 hasRelatedWork W1567765153 @default.
- W2174088504 hasRelatedWork W1573676493 @default.
- W2174088504 hasRelatedWork W1714661887 @default.
- W2174088504 hasRelatedWork W1765233549 @default.
- W2174088504 hasRelatedWork W1966415058 @default.
- W2174088504 hasRelatedWork W2000077669 @default.
- W2174088504 hasRelatedWork W2238398106 @default.
- W2174088504 hasRelatedWork W2567552158 @default.
- W2174088504 hasRelatedWork W2742560246 @default.
- W2174088504 hasRelatedWork W2951735480 @default.
- W2174088504 isParatext "false" @default.
- W2174088504 isRetracted "false" @default.
- W2174088504 magId "2174088504" @default.
- W2174088504 workType "book-chapter" @default.