FRINK Linked Data Fragments server

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

• W1516964098 abstract "Abstract The operational semantics of concurrent processes is given via labelled transition systems, and logical properties of processes can be expressed by means of modal/temporal logics, which are interpreted on transition systems as well. A recently developed package for inductive definitions in the HOL theorem prover allows one to formalize the transition relation for processes and to prove many interesting theorems about it. Based on this formalization, we consider the mechanization in HOL of (a slight extension of) Hennessy-Milner logic for a subset of Milner's CCS, and show how modal properties can be mechanically verified in the resulting framework." @default.
• W1516964098 created "2016-06-24" @default.
• W1516964098 creator A5005271744 @default.
• W1516964098 date "1993-01-01" @default.
• W1516964098 modified "2023-10-17" @default.
• W1516964098 title "Formalizing a Modal Logic for CCS in the HOL Theorem Prover" @default.
• W1516964098 cites W1492683468 @default.
• W1516964098 cites W1503487801 @default.
• W1516964098 cites W1509749908 @default.
• W1516964098 cites W1537015436 @default.
• W1516964098 cites W1539159570 @default.
• W1516964098 cites W1549764476 @default.
• W1516964098 cites W1565996669 @default.
• W1516964098 cites W1588424036 @default.
• W1516964098 cites W1978469611 @default.
• W1516964098 cites W2097026217 @default.
• W1516964098 cites W2148579499 @default.
• W1516964098 cites W2174215409 @default.
• W1516964098 cites W2176882324 @default.
• W1516964098 cites W2546854926 @default.
• W1516964098 cites W98978725 @default.
• W1516964098 cites W1797798772 @default.
• W1516964098 doi "https://doi.org/10.1016/b978-0-444-89880-7.50024-3" @default.
• W1516964098 hasPublicationYear "1993" @default.
• W1516964098 type Work @default.
• W1516964098 sameAs 1516964098 @default.
• W1516964098 citedByCount "3" @default.
• W1516964098 crossrefType "book-chapter" @default.
• W1516964098 hasAuthorship W1516964098A5005271744 @default.
• W1516964098 hasConcept C102993220 @default.
• W1516964098 hasConcept C11191006 @default.
• W1516964098 hasConcept C11413529 @default.
• W1516964098 hasConcept C118615104 @default.
• W1516964098 hasConcept C119599485 @default.
• W1516964098 hasConcept C127413603 @default.
• W1516964098 hasConcept C165801399 @default.
• W1516964098 hasConcept C172385210 @default.
• W1516964098 hasConcept C17435882 @default.
• W1516964098 hasConcept C184337299 @default.
• W1516964098 hasConcept C185592680 @default.
• W1516964098 hasConcept C188027245 @default.
• W1516964098 hasConcept C199360897 @default.
• W1516964098 hasConcept C203659156 @default.
• W1516964098 hasConcept C206880738 @default.
• W1516964098 hasConcept C25343380 @default.
• W1516964098 hasConcept C27508121 @default.
• W1516964098 hasConcept C2777796570 @default.
• W1516964098 hasConcept C2778029271 @default.
• W1516964098 hasConcept C33923547 @default.
• W1516964098 hasConcept C41008148 @default.
• W1516964098 hasConcept C71139939 @default.
• W1516964098 hasConcept C77088390 @default.
• W1516964098 hasConcept C80444323 @default.
• W1516964098 hasConceptScore W1516964098C102993220 @default.
• W1516964098 hasConceptScore W1516964098C11191006 @default.
• W1516964098 hasConceptScore W1516964098C11413529 @default.
• W1516964098 hasConceptScore W1516964098C118615104 @default.
• W1516964098 hasConceptScore W1516964098C119599485 @default.
• W1516964098 hasConceptScore W1516964098C127413603 @default.
• W1516964098 hasConceptScore W1516964098C165801399 @default.
• W1516964098 hasConceptScore W1516964098C172385210 @default.
• W1516964098 hasConceptScore W1516964098C17435882 @default.
• W1516964098 hasConceptScore W1516964098C184337299 @default.
• W1516964098 hasConceptScore W1516964098C185592680 @default.
• W1516964098 hasConceptScore W1516964098C188027245 @default.
• W1516964098 hasConceptScore W1516964098C199360897 @default.
• W1516964098 hasConceptScore W1516964098C203659156 @default.
• W1516964098 hasConceptScore W1516964098C206880738 @default.
• W1516964098 hasConceptScore W1516964098C25343380 @default.
• W1516964098 hasConceptScore W1516964098C27508121 @default.
• W1516964098 hasConceptScore W1516964098C2777796570 @default.
• W1516964098 hasConceptScore W1516964098C2778029271 @default.
• W1516964098 hasConceptScore W1516964098C33923547 @default.
• W1516964098 hasConceptScore W1516964098C41008148 @default.
• W1516964098 hasConceptScore W1516964098C71139939 @default.
• W1516964098 hasConceptScore W1516964098C77088390 @default.
• W1516964098 hasConceptScore W1516964098C80444323 @default.
• W1516964098 hasLocation W15169640981 @default.
• W1516964098 hasOpenAccess W1516964098 @default.
• W1516964098 hasPrimaryLocation W15169640981 @default.
• W1516964098 hasRelatedWork W102946451 @default.
• W1516964098 hasRelatedWork W1509441924 @default.
• W1516964098 hasRelatedWork W1536137640 @default.
• W1516964098 hasRelatedWork W1560883166 @default.
• W1516964098 hasRelatedWork W1563960380 @default.
• W1516964098 hasRelatedWork W1566446956 @default.
• W1516964098 hasRelatedWork W1571267585 @default.
• W1516964098 hasRelatedWork W2007985911 @default.
• W1516964098 hasRelatedWork W2020852080 @default.
• W1516964098 hasRelatedWork W2053892987 @default.
• W1516964098 hasRelatedWork W2069174222 @default.
• W1516964098 hasRelatedWork W2088922614 @default.
• W1516964098 hasRelatedWork W2099036216 @default.
• W1516964098 hasRelatedWork W2142018979 @default.
• W1516964098 hasRelatedWork W2155653377 @default.
• W1516964098 hasRelatedWork W2167789485 @default.
• W1516964098 hasRelatedWork W2997148829 @default.
• W1516964098 hasRelatedWork W3006393805 @default.
• W1516964098 hasRelatedWork W3118058175 @default.
• W1516964098 hasRelatedWork W770019574 @default.

• next