Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062238968> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2062238968 endingPage "64" @default.
- W2062238968 startingPage "49" @default.
- W2062238968 abstract "This work presents a Propositional Dynamic Logic (πDL) in which the programs are described in a language based on the π-Calculus without replication. Our goal is to build a dynamic logic that is suitable for the description and verification of properties of communicating concurrent systems, in a similar way as PDL is used for the sequential case. We build a simple Kripke semantics for this logic, provide a complete axiomatization for it and show that it has the finite model property." @default.
- W2062238968 created "2016-06-24" @default.
- W2062238968 creator A5030111854 @default.
- W2062238968 creator A5041430732 @default.
- W2062238968 date "2010-05-01" @default.
- W2062238968 modified "2023-10-18" @default.
- W2062238968 title "A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus" @default.
- W2062238968 cites W1503973138 @default.
- W2062238968 cites W1524056723 @default.
- W2062238968 cites W1582292473 @default.
- W2062238968 cites W1605913882 @default.
- W2062238968 cites W1973627522 @default.
- W2062238968 cites W1991259963 @default.
- W2062238968 cites W1992292825 @default.
- W2062238968 cites W1995945562 @default.
- W2062238968 cites W2000261666 @default.
- W2062238968 cites W2029057681 @default.
- W2062238968 cites W2059396299 @default.
- W2062238968 cites W2069709605 @default.
- W2062238968 cites W2099126437 @default.
- W2062238968 cites W2106102830 @default.
- W2062238968 cites W2128932399 @default.
- W2062238968 cites W2156429182 @default.
- W2062238968 cites W2501924394 @default.
- W2062238968 cites W2610670723 @default.
- W2062238968 cites W2611779500 @default.
- W2062238968 doi "https://doi.org/10.1016/j.entcs.2010.04.005" @default.
- W2062238968 hasPublicationYear "2010" @default.
- W2062238968 type Work @default.
- W2062238968 sameAs 2062238968 @default.
- W2062238968 citedByCount "3" @default.
- W2062238968 countsByYear W20622389682014 @default.
- W2062238968 crossrefType "journal-article" @default.
- W2062238968 hasAuthorship W2062238968A5030111854 @default.
- W2062238968 hasAuthorship W2062238968A5041430732 @default.
- W2062238968 hasBestOaLocation W20622389681 @default.
- W2062238968 hasConcept C102993220 @default.
- W2062238968 hasConcept C110039528 @default.
- W2062238968 hasConcept C110251889 @default.
- W2062238968 hasConcept C121332964 @default.
- W2062238968 hasConcept C14523651 @default.
- W2062238968 hasConcept C161913894 @default.
- W2062238968 hasConcept C165801399 @default.
- W2062238968 hasConcept C172385210 @default.
- W2062238968 hasConcept C184337299 @default.
- W2062238968 hasConcept C191222856 @default.
- W2062238968 hasConcept C199343813 @default.
- W2062238968 hasConcept C199360897 @default.
- W2062238968 hasConcept C203659156 @default.
- W2062238968 hasConcept C2777686260 @default.
- W2062238968 hasConcept C2777796570 @default.
- W2062238968 hasConcept C33203268 @default.
- W2062238968 hasConcept C41008148 @default.
- W2062238968 hasConcept C4777664 @default.
- W2062238968 hasConcept C62520636 @default.
- W2062238968 hasConcept C69562738 @default.
- W2062238968 hasConcept C71924100 @default.
- W2062238968 hasConcept C80444323 @default.
- W2062238968 hasConceptScore W2062238968C102993220 @default.
- W2062238968 hasConceptScore W2062238968C110039528 @default.
- W2062238968 hasConceptScore W2062238968C110251889 @default.
- W2062238968 hasConceptScore W2062238968C121332964 @default.
- W2062238968 hasConceptScore W2062238968C14523651 @default.
- W2062238968 hasConceptScore W2062238968C161913894 @default.
- W2062238968 hasConceptScore W2062238968C165801399 @default.
- W2062238968 hasConceptScore W2062238968C172385210 @default.
- W2062238968 hasConceptScore W2062238968C184337299 @default.
- W2062238968 hasConceptScore W2062238968C191222856 @default.
- W2062238968 hasConceptScore W2062238968C199343813 @default.
- W2062238968 hasConceptScore W2062238968C199360897 @default.
- W2062238968 hasConceptScore W2062238968C203659156 @default.
- W2062238968 hasConceptScore W2062238968C2777686260 @default.
- W2062238968 hasConceptScore W2062238968C2777796570 @default.
- W2062238968 hasConceptScore W2062238968C33203268 @default.
- W2062238968 hasConceptScore W2062238968C41008148 @default.
- W2062238968 hasConceptScore W2062238968C4777664 @default.
- W2062238968 hasConceptScore W2062238968C62520636 @default.
- W2062238968 hasConceptScore W2062238968C69562738 @default.
- W2062238968 hasConceptScore W2062238968C71924100 @default.
- W2062238968 hasConceptScore W2062238968C80444323 @default.
- W2062238968 hasLocation W20622389681 @default.
- W2062238968 hasOpenAccess W2062238968 @default.
- W2062238968 hasPrimaryLocation W20622389681 @default.
- W2062238968 hasRelatedWork W1524056723 @default.
- W2062238968 hasRelatedWork W1574887629 @default.
- W2062238968 hasRelatedWork W2015640848 @default.
- W2062238968 hasRelatedWork W2041170190 @default.
- W2062238968 hasRelatedWork W2062238968 @default.
- W2062238968 hasRelatedWork W2070878538 @default.
- W2062238968 hasRelatedWork W2364063221 @default.
- W2062238968 hasRelatedWork W2591594485 @default.
- W2062238968 hasRelatedWork W2952365042 @default.
- W2062238968 hasRelatedWork W4300503507 @default.
- W2062238968 hasVolume "262" @default.
- W2062238968 isParatext "false" @default.
- W2062238968 isRetracted "false" @default.
- W2062238968 magId "2062238968" @default.
- W2062238968 workType "article" @default.