Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080296151> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2080296151 endingPage "336" @default.
- W2080296151 startingPage "335" @default.
- W2080296151 abstract "The Temporal Logic of Action introduced by Lamport [4] for specifying the behavior of concurrent systems is compared with monadic second order logic which is accepted as an universal formalism for specifying temporal behaviors. The consequences of Lamport's decision to combine in the existential quantifier of TLA, both the standard existential quantifier and the non-logical closure under stuttering are investigated. A continuous time interpretation is provided for TLA and it is argued that this interpretation is more appropriate than the standard discrete time interpretation. Also, some decidability problems are investigated." @default.
- W2080296151 created "2016-06-24" @default.
- W2080296151 creator A5041103024 @default.
- W2080296151 creator A5067447292 @default.
- W2080296151 date "1995-05-01" @default.
- W2080296151 modified "2023-09-27" @default.
- W2080296151 title "Report on Z user meeting (ZUM '94)" @default.
- W2080296151 doi "https://doi.org/10.1016/0950-5849(95)99368-w" @default.
- W2080296151 hasPublicationYear "1995" @default.
- W2080296151 type Work @default.
- W2080296151 sameAs 2080296151 @default.
- W2080296151 citedByCount "4" @default.
- W2080296151 crossrefType "journal-article" @default.
- W2080296151 hasAuthorship W2080296151A5041103024 @default.
- W2080296151 hasAuthorship W2080296151A5067447292 @default.
- W2080296151 hasConcept C102993220 @default.
- W2080296151 hasConcept C110251889 @default.
- W2080296151 hasConcept C111472728 @default.
- W2080296151 hasConcept C11413529 @default.
- W2080296151 hasConcept C11648818 @default.
- W2080296151 hasConcept C127882523 @default.
- W2080296151 hasConcept C138885662 @default.
- W2080296151 hasConcept C142362112 @default.
- W2080296151 hasConcept C153269930 @default.
- W2080296151 hasConcept C153349607 @default.
- W2080296151 hasConcept C162670838 @default.
- W2080296151 hasConcept C19689857 @default.
- W2080296151 hasConcept C199360897 @default.
- W2080296151 hasConcept C20693621 @default.
- W2080296151 hasConcept C25016198 @default.
- W2080296151 hasConcept C32278780 @default.
- W2080296151 hasConcept C41008148 @default.
- W2080296151 hasConcept C527412718 @default.
- W2080296151 hasConcept C558565934 @default.
- W2080296151 hasConcept C73301696 @default.
- W2080296151 hasConcept C80444323 @default.
- W2080296151 hasConceptScore W2080296151C102993220 @default.
- W2080296151 hasConceptScore W2080296151C110251889 @default.
- W2080296151 hasConceptScore W2080296151C111472728 @default.
- W2080296151 hasConceptScore W2080296151C11413529 @default.
- W2080296151 hasConceptScore W2080296151C11648818 @default.
- W2080296151 hasConceptScore W2080296151C127882523 @default.
- W2080296151 hasConceptScore W2080296151C138885662 @default.
- W2080296151 hasConceptScore W2080296151C142362112 @default.
- W2080296151 hasConceptScore W2080296151C153269930 @default.
- W2080296151 hasConceptScore W2080296151C153349607 @default.
- W2080296151 hasConceptScore W2080296151C162670838 @default.
- W2080296151 hasConceptScore W2080296151C19689857 @default.
- W2080296151 hasConceptScore W2080296151C199360897 @default.
- W2080296151 hasConceptScore W2080296151C20693621 @default.
- W2080296151 hasConceptScore W2080296151C25016198 @default.
- W2080296151 hasConceptScore W2080296151C32278780 @default.
- W2080296151 hasConceptScore W2080296151C41008148 @default.
- W2080296151 hasConceptScore W2080296151C527412718 @default.
- W2080296151 hasConceptScore W2080296151C558565934 @default.
- W2080296151 hasConceptScore W2080296151C73301696 @default.
- W2080296151 hasConceptScore W2080296151C80444323 @default.
- W2080296151 hasIssue "5-6" @default.
- W2080296151 hasLocation W20802961511 @default.
- W2080296151 hasOpenAccess W2080296151 @default.
- W2080296151 hasPrimaryLocation W20802961511 @default.
- W2080296151 hasRelatedWork W1031601050 @default.
- W2080296151 hasRelatedWork W1543261728 @default.
- W2080296151 hasRelatedWork W1978172164 @default.
- W2080296151 hasRelatedWork W2034873935 @default.
- W2080296151 hasRelatedWork W2072341009 @default.
- W2080296151 hasRelatedWork W2080296151 @default.
- W2080296151 hasRelatedWork W2099776859 @default.
- W2080296151 hasRelatedWork W2145835888 @default.
- W2080296151 hasRelatedWork W2282576365 @default.
- W2080296151 hasRelatedWork W2963857035 @default.
- W2080296151 hasVolume "37" @default.
- W2080296151 isParatext "false" @default.
- W2080296151 isRetracted "false" @default.
- W2080296151 magId "2080296151" @default.
- W2080296151 workType "article" @default.