Matches in SemOpenAlex for { <https://semopenalex.org/work/W1796678419> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1796678419 endingPage "177" @default.
- W1796678419 startingPage "166" @default.
- W1796678419 abstract "We present a coordinated pair of general labeled transition system models for describing timed and untimed concurrent systems. Both of the models incorporate liveness properties as well as safety properties. The models are related via an embedding of the untimed model into the timed model, which preserves all the interesting attributes of the untimed model. Both models include notions of environment-freedom, which express the idea that the liveness properties can be guaranteed by the system, independently of the behavior of the environment in which it operates. These environment-freedom conditions are used to prove compositionality results for both models. This pair of models, which generalize several existing models, is intended to comprise a general formalism for the verification of timed and untimed concurrent systems." @default.
- W1796678419 created "2016-06-24" @default.
- W1796678419 creator A5006624231 @default.
- W1796678419 creator A5006738625 @default.
- W1796678419 creator A5028493990 @default.
- W1796678419 creator A5071944803 @default.
- W1796678419 date "1994-01-01" @default.
- W1796678419 modified "2023-10-09" @default.
- W1796678419 title "Liveness in timed and untimed systems" @default.
- W1796678419 cites W1491037212 @default.
- W1796678419 cites W1575028430 @default.
- W1796678419 cites W1588575694 @default.
- W1796678419 cites W1658016212 @default.
- W1796678419 cites W1755579963 @default.
- W1796678419 cites W1796678419 @default.
- W1796678419 cites W1964796077 @default.
- W1796678419 cites W2000302396 @default.
- W1796678419 cites W2126991662 @default.
- W1796678419 cites W2293400264 @default.
- W1796678419 cites W2914206182 @default.
- W1796678419 doi "https://doi.org/10.1007/3-540-58201-0_66" @default.
- W1796678419 hasPublicationYear "1994" @default.
- W1796678419 type Work @default.
- W1796678419 sameAs 1796678419 @default.
- W1796678419 citedByCount "55" @default.
- W1796678419 countsByYear W17966784192017 @default.
- W1796678419 countsByYear W17966784192023 @default.
- W1796678419 crossrefType "book-chapter" @default.
- W1796678419 hasAuthorship W1796678419A5006624231 @default.
- W1796678419 hasAuthorship W1796678419A5006738625 @default.
- W1796678419 hasAuthorship W1796678419A5028493990 @default.
- W1796678419 hasAuthorship W1796678419A5071944803 @default.
- W1796678419 hasBestOaLocation W17966784192 @default.
- W1796678419 hasConcept C110251889 @default.
- W1796678419 hasConcept C121375916 @default.
- W1796678419 hasConcept C142362112 @default.
- W1796678419 hasConcept C153349607 @default.
- W1796678419 hasConcept C154945302 @default.
- W1796678419 hasConcept C15569618 @default.
- W1796678419 hasConcept C199360897 @default.
- W1796678419 hasConcept C41008148 @default.
- W1796678419 hasConcept C41608201 @default.
- W1796678419 hasConcept C558565934 @default.
- W1796678419 hasConcept C73301696 @default.
- W1796678419 hasConcept C80444323 @default.
- W1796678419 hasConceptScore W1796678419C110251889 @default.
- W1796678419 hasConceptScore W1796678419C121375916 @default.
- W1796678419 hasConceptScore W1796678419C142362112 @default.
- W1796678419 hasConceptScore W1796678419C153349607 @default.
- W1796678419 hasConceptScore W1796678419C154945302 @default.
- W1796678419 hasConceptScore W1796678419C15569618 @default.
- W1796678419 hasConceptScore W1796678419C199360897 @default.
- W1796678419 hasConceptScore W1796678419C41008148 @default.
- W1796678419 hasConceptScore W1796678419C41608201 @default.
- W1796678419 hasConceptScore W1796678419C558565934 @default.
- W1796678419 hasConceptScore W1796678419C73301696 @default.
- W1796678419 hasConceptScore W1796678419C80444323 @default.
- W1796678419 hasLocation W17966784191 @default.
- W1796678419 hasLocation W17966784192 @default.
- W1796678419 hasOpenAccess W1796678419 @default.
- W1796678419 hasPrimaryLocation W17966784191 @default.
- W1796678419 hasRelatedWork W1565271071 @default.
- W1796678419 hasRelatedWork W2081199208 @default.
- W1796678419 hasRelatedWork W2082472813 @default.
- W1796678419 hasRelatedWork W2111654715 @default.
- W1796678419 hasRelatedWork W2147348835 @default.
- W1796678419 hasRelatedWork W2164319435 @default.
- W1796678419 hasRelatedWork W3005566532 @default.
- W1796678419 hasRelatedWork W3006692755 @default.
- W1796678419 hasRelatedWork W3160870209 @default.
- W1796678419 hasRelatedWork W3349016 @default.
- W1796678419 isParatext "false" @default.
- W1796678419 isRetracted "false" @default.
- W1796678419 magId "1796678419" @default.
- W1796678419 workType "book-chapter" @default.