Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061609623> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2061609623 endingPage "1557" @default.
- W2061609623 startingPage "1542" @default.
- W2061609623 abstract "Model checkers for systems represented by labelled transition systems are not as extensively used as those for systems represented by Kripke structures. This is partially due to the lack of an elegant formal language for property specification which would not be as raw as, for example, HML yet also not as complex as, for example, @m-calculus. This paper proposes a new action-based propositional branching-time temporal logic ACTLW, which enhances popular computation tree logic (CTL) with the notion of actions in a similar but more comprehensive way than action-based CTL introduced by De Nicola and Vaandrager [R. De Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science, LNCS 469, 1990, pp. 407-419]. ACTLW is defined by using temporal operators until and unless only, whereas all other temporal operators are derived from them. Fixed-point characterisation of the operators together with symbolic algorithms for global model checking are shown. Usage of this new logic is illustrated by an example of verification of mutual-exclusion algorithms." @default.
- W2061609623 created "2016-06-24" @default.
- W2061609623 creator A5002444619 @default.
- W2061609623 creator A5005386449 @default.
- W2061609623 creator A5062086504 @default.
- W2061609623 date "2008-03-01" @default.
- W2061609623 modified "2023-09-28" @default.
- W2061609623 title "ACTLW – An action-based computation tree logic with unless operator" @default.
- W2061609623 cites W1602925513 @default.
- W2061609623 cites W1606950856 @default.
- W2061609623 cites W1978469611 @default.
- W2061609623 cites W1979806182 @default.
- W2061609623 cites W1997816298 @default.
- W2061609623 cites W201621441 @default.
- W2061609623 cites W2025788721 @default.
- W2061609623 cites W2030370161 @default.
- W2061609623 cites W2039737411 @default.
- W2061609623 cites W2061438988 @default.
- W2061609623 cites W2063510765 @default.
- W2061609623 cites W2086020480 @default.
- W2061609623 cites W2096907015 @default.
- W2061609623 cites W2101113805 @default.
- W2061609623 cites W2164892954 @default.
- W2061609623 cites W3124557742 @default.
- W2061609623 doi "https://doi.org/10.1016/j.ins.2007.10.023" @default.
- W2061609623 hasPublicationYear "2008" @default.
- W2061609623 type Work @default.
- W2061609623 sameAs 2061609623 @default.
- W2061609623 citedByCount "19" @default.
- W2061609623 countsByYear W20616096232012 @default.
- W2061609623 countsByYear W20616096232013 @default.
- W2061609623 countsByYear W20616096232014 @default.
- W2061609623 countsByYear W20616096232015 @default.
- W2061609623 countsByYear W20616096232016 @default.
- W2061609623 countsByYear W20616096232022 @default.
- W2061609623 crossrefType "journal-article" @default.
- W2061609623 hasAuthorship W2061609623A5002444619 @default.
- W2061609623 hasAuthorship W2061609623A5005386449 @default.
- W2061609623 hasAuthorship W2061609623A5062086504 @default.
- W2061609623 hasConcept C104317684 @default.
- W2061609623 hasConcept C113174947 @default.
- W2061609623 hasConcept C11413529 @default.
- W2061609623 hasConcept C114614502 @default.
- W2061609623 hasConcept C121332964 @default.
- W2061609623 hasConcept C158448853 @default.
- W2061609623 hasConcept C17020691 @default.
- W2061609623 hasConcept C185592680 @default.
- W2061609623 hasConcept C2780791683 @default.
- W2061609623 hasConcept C33923547 @default.
- W2061609623 hasConcept C41008148 @default.
- W2061609623 hasConcept C45374587 @default.
- W2061609623 hasConcept C55493867 @default.
- W2061609623 hasConcept C62520636 @default.
- W2061609623 hasConcept C80444323 @default.
- W2061609623 hasConcept C86339819 @default.
- W2061609623 hasConceptScore W2061609623C104317684 @default.
- W2061609623 hasConceptScore W2061609623C113174947 @default.
- W2061609623 hasConceptScore W2061609623C11413529 @default.
- W2061609623 hasConceptScore W2061609623C114614502 @default.
- W2061609623 hasConceptScore W2061609623C121332964 @default.
- W2061609623 hasConceptScore W2061609623C158448853 @default.
- W2061609623 hasConceptScore W2061609623C17020691 @default.
- W2061609623 hasConceptScore W2061609623C185592680 @default.
- W2061609623 hasConceptScore W2061609623C2780791683 @default.
- W2061609623 hasConceptScore W2061609623C33923547 @default.
- W2061609623 hasConceptScore W2061609623C41008148 @default.
- W2061609623 hasConceptScore W2061609623C45374587 @default.
- W2061609623 hasConceptScore W2061609623C55493867 @default.
- W2061609623 hasConceptScore W2061609623C62520636 @default.
- W2061609623 hasConceptScore W2061609623C80444323 @default.
- W2061609623 hasConceptScore W2061609623C86339819 @default.
- W2061609623 hasIssue "6" @default.
- W2061609623 hasLocation W20616096231 @default.
- W2061609623 hasOpenAccess W2061609623 @default.
- W2061609623 hasPrimaryLocation W20616096231 @default.
- W2061609623 hasRelatedWork W1534842550 @default.
- W2061609623 hasRelatedWork W1572523360 @default.
- W2061609623 hasRelatedWork W1587906417 @default.
- W2061609623 hasRelatedWork W1900393469 @default.
- W2061609623 hasRelatedWork W2263946631 @default.
- W2061609623 hasRelatedWork W2354062721 @default.
- W2061609623 hasRelatedWork W2375463041 @default.
- W2061609623 hasRelatedWork W2766697009 @default.
- W2061609623 hasRelatedWork W2908068254 @default.
- W2061609623 hasRelatedWork W3100498169 @default.
- W2061609623 hasVolume "178" @default.
- W2061609623 isParatext "false" @default.
- W2061609623 isRetracted "false" @default.
- W2061609623 magId "2061609623" @default.
- W2061609623 workType "article" @default.