Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069428344> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2069428344 endingPage "360" @default.
- W2069428344 startingPage "341" @default.
- W2069428344 abstract "A temporal logic of causality (TLC) was introduced by Alur, Penczek, and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. Through this device one can directly formulate causality properties of distributed systems. In this paper we consider an extension of TLC by strengthening the chain quantification operators. We show that our logic TLC* adds to the expressive power of TLC. We doso by defining an Ehrenfeucht-Fraïssé game to capture the expressive power of TLC. We then exhibit a property and by means of this game prove that the chosen property is not definable in TLC. We then show that the same property is definable in TLC*. We prove in fact the stronger result that TLC* is expressively stronger than TLC exactly when the dependency relation associated with the underlying trace alphabet is not transitive. We then show that TLC* defines only regular trace languages by embedding it into the monadic second-order logic. Finally, the relative expressive power of TLC* and similar logics for traces is compared." @default.
- W2069428344 created "2016-06-24" @default.
- W2069428344 creator A5034923380 @default.
- W2069428344 date "2002-06-01" @default.
- W2069428344 modified "2023-09-23" @default.
- W2069428344 title "AN EXPRESSIVE EXTENSION OF TLC" @default.
- W2069428344 cites W1934074768 @default.
- W2069428344 cites W2015640848 @default.
- W2069428344 cites W2034083679 @default.
- W2069428344 cites W2117189826 @default.
- W2069428344 doi "https://doi.org/10.1142/s0129054102001151" @default.
- W2069428344 hasPublicationYear "2002" @default.
- W2069428344 type Work @default.
- W2069428344 sameAs 2069428344 @default.
- W2069428344 citedByCount "1" @default.
- W2069428344 crossrefType "journal-article" @default.
- W2069428344 hasAuthorship W2069428344A5034923380 @default.
- W2069428344 hasConcept C111472728 @default.
- W2069428344 hasConcept C11413529 @default.
- W2069428344 hasConcept C114614502 @default.
- W2069428344 hasConcept C121332964 @default.
- W2069428344 hasConcept C138885662 @default.
- W2069428344 hasConcept C154945302 @default.
- W2069428344 hasConcept C189950617 @default.
- W2069428344 hasConcept C191399111 @default.
- W2069428344 hasConcept C195818886 @default.
- W2069428344 hasConcept C19768560 @default.
- W2069428344 hasConcept C199360897 @default.
- W2069428344 hasConcept C2778029271 @default.
- W2069428344 hasConcept C33923547 @default.
- W2069428344 hasConcept C41008148 @default.
- W2069428344 hasConcept C41608201 @default.
- W2069428344 hasConcept C41895202 @default.
- W2069428344 hasConcept C62520636 @default.
- W2069428344 hasConcept C64357122 @default.
- W2069428344 hasConcept C75291252 @default.
- W2069428344 hasConcept C80444323 @default.
- W2069428344 hasConceptScore W2069428344C111472728 @default.
- W2069428344 hasConceptScore W2069428344C11413529 @default.
- W2069428344 hasConceptScore W2069428344C114614502 @default.
- W2069428344 hasConceptScore W2069428344C121332964 @default.
- W2069428344 hasConceptScore W2069428344C138885662 @default.
- W2069428344 hasConceptScore W2069428344C154945302 @default.
- W2069428344 hasConceptScore W2069428344C189950617 @default.
- W2069428344 hasConceptScore W2069428344C191399111 @default.
- W2069428344 hasConceptScore W2069428344C195818886 @default.
- W2069428344 hasConceptScore W2069428344C19768560 @default.
- W2069428344 hasConceptScore W2069428344C199360897 @default.
- W2069428344 hasConceptScore W2069428344C2778029271 @default.
- W2069428344 hasConceptScore W2069428344C33923547 @default.
- W2069428344 hasConceptScore W2069428344C41008148 @default.
- W2069428344 hasConceptScore W2069428344C41608201 @default.
- W2069428344 hasConceptScore W2069428344C41895202 @default.
- W2069428344 hasConceptScore W2069428344C62520636 @default.
- W2069428344 hasConceptScore W2069428344C64357122 @default.
- W2069428344 hasConceptScore W2069428344C75291252 @default.
- W2069428344 hasConceptScore W2069428344C80444323 @default.
- W2069428344 hasIssue "03" @default.
- W2069428344 hasLocation W20694283441 @default.
- W2069428344 hasOpenAccess W2069428344 @default.
- W2069428344 hasPrimaryLocation W20694283441 @default.
- W2069428344 hasRelatedWork W1505645573 @default.
- W2069428344 hasRelatedWork W1544018000 @default.
- W2069428344 hasRelatedWork W1563298250 @default.
- W2069428344 hasRelatedWork W2045764311 @default.
- W2069428344 hasRelatedWork W2069428344 @default.
- W2069428344 hasRelatedWork W2126980896 @default.
- W2069428344 hasRelatedWork W2369494673 @default.
- W2069428344 hasRelatedWork W2407786003 @default.
- W2069428344 hasRelatedWork W2482065577 @default.
- W2069428344 hasRelatedWork W40010297 @default.
- W2069428344 hasVolume "13" @default.
- W2069428344 isParatext "false" @default.
- W2069428344 isRetracted "false" @default.
- W2069428344 magId "2069428344" @default.
- W2069428344 workType "article" @default.