Matches in SemOpenAlex for { <https://semopenalex.org/work/W1598081036> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1598081036 abstract "We show in this paper how the verification method of timed graphs ([1], [6]) can be substantially improved by the use of a partialorder technique. In [5] and [4] is presented an efficient model-checking algorithm for concurrent systems that avoids most of the state explosion due to the modeling of concurrency by interleaving. We adapt this work to timed graphs, by defining a dependency relation on transitions and an equivalence on executions, taking into account quantitative aspects of time. We then propose a selective search algorithm that computes a reduced accessibility graph, in the framework of deadlock detection." @default.
- W1598081036 created "2016-06-24" @default.
- W1598081036 creator A5090313094 @default.
- W1598081036 date "1996-01-01" @default.
- W1598081036 modified "2023-09-25" @default.
- W1598081036 title "Partial orders and verification of real-time systems" @default.
- W1598081036 cites W1482233117 @default.
- W1598081036 cites W1705394006 @default.
- W1598081036 cites W1968552123 @default.
- W1598081036 cites W2054554282 @default.
- W1598081036 cites W2093709900 @default.
- W1598081036 cites W2101508170 @default.
- W1598081036 cites W2130773092 @default.
- W1598081036 cites W4212852126 @default.
- W1598081036 doi "https://doi.org/10.1007/3-540-61648-9_49" @default.
- W1598081036 hasPublicationYear "1996" @default.
- W1598081036 type Work @default.
- W1598081036 sameAs 1598081036 @default.
- W1598081036 citedByCount "21" @default.
- W1598081036 crossrefType "book-chapter" @default.
- W1598081036 hasAuthorship W1598081036A5090313094 @default.
- W1598081036 hasConcept C110251889 @default.
- W1598081036 hasConcept C111498074 @default.
- W1598081036 hasConcept C111919701 @default.
- W1598081036 hasConcept C112505250 @default.
- W1598081036 hasConcept C11413529 @default.
- W1598081036 hasConcept C120314980 @default.
- W1598081036 hasConcept C132525143 @default.
- W1598081036 hasConcept C138885662 @default.
- W1598081036 hasConcept C154945302 @default.
- W1598081036 hasConcept C159023740 @default.
- W1598081036 hasConcept C16311509 @default.
- W1598081036 hasConcept C193702766 @default.
- W1598081036 hasConcept C19768560 @default.
- W1598081036 hasConcept C2780069185 @default.
- W1598081036 hasConcept C28034677 @default.
- W1598081036 hasConcept C41008148 @default.
- W1598081036 hasConcept C41895202 @default.
- W1598081036 hasConcept C80444323 @default.
- W1598081036 hasConcept C94633896 @default.
- W1598081036 hasConceptScore W1598081036C110251889 @default.
- W1598081036 hasConceptScore W1598081036C111498074 @default.
- W1598081036 hasConceptScore W1598081036C111919701 @default.
- W1598081036 hasConceptScore W1598081036C112505250 @default.
- W1598081036 hasConceptScore W1598081036C11413529 @default.
- W1598081036 hasConceptScore W1598081036C120314980 @default.
- W1598081036 hasConceptScore W1598081036C132525143 @default.
- W1598081036 hasConceptScore W1598081036C138885662 @default.
- W1598081036 hasConceptScore W1598081036C154945302 @default.
- W1598081036 hasConceptScore W1598081036C159023740 @default.
- W1598081036 hasConceptScore W1598081036C16311509 @default.
- W1598081036 hasConceptScore W1598081036C193702766 @default.
- W1598081036 hasConceptScore W1598081036C19768560 @default.
- W1598081036 hasConceptScore W1598081036C2780069185 @default.
- W1598081036 hasConceptScore W1598081036C28034677 @default.
- W1598081036 hasConceptScore W1598081036C41008148 @default.
- W1598081036 hasConceptScore W1598081036C41895202 @default.
- W1598081036 hasConceptScore W1598081036C80444323 @default.
- W1598081036 hasConceptScore W1598081036C94633896 @default.
- W1598081036 hasLocation W15980810361 @default.
- W1598081036 hasOpenAccess W1598081036 @default.
- W1598081036 hasPrimaryLocation W15980810361 @default.
- W1598081036 hasRelatedWork W1482233117 @default.
- W1598081036 hasRelatedWork W1486308576 @default.
- W1598081036 hasRelatedWork W1528441743 @default.
- W1598081036 hasRelatedWork W1535937574 @default.
- W1598081036 hasRelatedWork W1540501475 @default.
- W1598081036 hasRelatedWork W1560730347 @default.
- W1598081036 hasRelatedWork W1861370427 @default.
- W1598081036 hasRelatedWork W1934074768 @default.
- W1598081036 hasRelatedWork W1981808971 @default.
- W1598081036 hasRelatedWork W2000947342 @default.
- W1598081036 hasRelatedWork W2061438988 @default.
- W1598081036 hasRelatedWork W2079420020 @default.
- W1598081036 hasRelatedWork W2080267935 @default.
- W1598081036 hasRelatedWork W2093681800 @default.
- W1598081036 hasRelatedWork W2101508170 @default.
- W1598081036 hasRelatedWork W2118802216 @default.
- W1598081036 hasRelatedWork W2130773092 @default.
- W1598081036 hasRelatedWork W2139796094 @default.
- W1598081036 hasRelatedWork W2144690539 @default.
- W1598081036 hasRelatedWork W59365162 @default.
- W1598081036 isParatext "false" @default.
- W1598081036 isRetracted "false" @default.
- W1598081036 magId "1598081036" @default.
- W1598081036 workType "book-chapter" @default.