Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016014698> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2016014698 endingPage "171" @default.
- W2016014698 startingPage "119" @default.
- W2016014698 abstract "When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input/Output (I/O) automaton model and its timed version have been used successfully, but have focused on safety conditions and on a restricted form of liveness called fairness. In this paper we develop a new I/O automaton model, and a new timed I/O automaton model, that permit the verification of general liveness properties on the basis of existing verification techniques. Our models include a notion of receptiveness which extends the idea of receptiveness of other existing formalisms, and enables the use of compositional verification techniques. The presentation includes an embedding of the untimed model into the timed model which preserves all the interesting attributes of the untimed model. Thus, our models constitute a coordinated framework for the description of concurrent and distributed systems satisfying general liveness properties." @default.
- W2016014698 created "2016-06-24" @default.
- W2016014698 creator A5006624231 @default.
- W2016014698 creator A5006738625 @default.
- W2016014698 creator A5028493990 @default.
- W2016014698 creator A5071944803 @default.
- W2016014698 date "1998-03-01" @default.
- W2016014698 modified "2023-09-26" @default.
- W2016014698 title "Liveness in Timed and Untimed Systems" @default.
- W2016014698 cites W2002153759 @default.
- W2016014698 cites W2015688007 @default.
- W2016014698 cites W2041617655 @default.
- W2016014698 cites W2076513239 @default.
- W2016014698 cites W2152364675 @default.
- W2016014698 cites W2157144873 @default.
- W2016014698 cites W2293400264 @default.
- W2016014698 cites W2328819335 @default.
- W2016014698 cites W2914206182 @default.
- W2016014698 doi "https://doi.org/10.1006/inco.1997.2671" @default.
- W2016014698 hasPublicationYear "1998" @default.
- W2016014698 type Work @default.
- W2016014698 sameAs 2016014698 @default.
- W2016014698 citedByCount "44" @default.
- W2016014698 countsByYear W20160146982012 @default.
- W2016014698 countsByYear W20160146982013 @default.
- W2016014698 countsByYear W20160146982014 @default.
- W2016014698 countsByYear W20160146982015 @default.
- W2016014698 countsByYear W20160146982016 @default.
- W2016014698 countsByYear W20160146982019 @default.
- W2016014698 crossrefType "journal-article" @default.
- W2016014698 hasAuthorship W2016014698A5006624231 @default.
- W2016014698 hasAuthorship W2016014698A5006738625 @default.
- W2016014698 hasAuthorship W2016014698A5028493990 @default.
- W2016014698 hasAuthorship W2016014698A5071944803 @default.
- W2016014698 hasBestOaLocation W20160146981 @default.
- W2016014698 hasConcept C110251889 @default.
- W2016014698 hasConcept C112505250 @default.
- W2016014698 hasConcept C120314980 @default.
- W2016014698 hasConcept C12426560 @default.
- W2016014698 hasConcept C154945302 @default.
- W2016014698 hasConcept C15569618 @default.
- W2016014698 hasConcept C171018156 @default.
- W2016014698 hasConcept C199360897 @default.
- W2016014698 hasConcept C2524010 @default.
- W2016014698 hasConcept C30788636 @default.
- W2016014698 hasConcept C33923547 @default.
- W2016014698 hasConcept C41008148 @default.
- W2016014698 hasConcept C41608201 @default.
- W2016014698 hasConcept C55439883 @default.
- W2016014698 hasConcept C80444323 @default.
- W2016014698 hasConceptScore W2016014698C110251889 @default.
- W2016014698 hasConceptScore W2016014698C112505250 @default.
- W2016014698 hasConceptScore W2016014698C120314980 @default.
- W2016014698 hasConceptScore W2016014698C12426560 @default.
- W2016014698 hasConceptScore W2016014698C154945302 @default.
- W2016014698 hasConceptScore W2016014698C15569618 @default.
- W2016014698 hasConceptScore W2016014698C171018156 @default.
- W2016014698 hasConceptScore W2016014698C199360897 @default.
- W2016014698 hasConceptScore W2016014698C2524010 @default.
- W2016014698 hasConceptScore W2016014698C30788636 @default.
- W2016014698 hasConceptScore W2016014698C33923547 @default.
- W2016014698 hasConceptScore W2016014698C41008148 @default.
- W2016014698 hasConceptScore W2016014698C41608201 @default.
- W2016014698 hasConceptScore W2016014698C55439883 @default.
- W2016014698 hasConceptScore W2016014698C80444323 @default.
- W2016014698 hasIssue "2" @default.
- W2016014698 hasLocation W20160146981 @default.
- W2016014698 hasLocation W20160146982 @default.
- W2016014698 hasOpenAccess W2016014698 @default.
- W2016014698 hasPrimaryLocation W20160146981 @default.
- W2016014698 hasRelatedWork W1518566078 @default.
- W2016014698 hasRelatedWork W2016014698 @default.
- W2016014698 hasRelatedWork W2137918685 @default.
- W2016014698 hasRelatedWork W2353043501 @default.
- W2016014698 hasRelatedWork W256372521 @default.
- W2016014698 hasRelatedWork W2731301312 @default.
- W2016014698 hasRelatedWork W3148537620 @default.
- W2016014698 hasRelatedWork W38902447 @default.
- W2016014698 hasRelatedWork W4285787290 @default.
- W2016014698 hasRelatedWork W4293399526 @default.
- W2016014698 hasVolume "141" @default.
- W2016014698 isParatext "false" @default.
- W2016014698 isRetracted "false" @default.
- W2016014698 magId "2016014698" @default.
- W2016014698 workType "article" @default.