Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582918992> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1582918992 abstract "It is known that the usual timed bisimulation fails to be a congruence for timed automata with deadlines – a variant of timed automata where component synchronization is delayable, and time progress is controlled by deadlines on transitions instead of invariants on locations. Recently, we found the coarsest congruence relation that is included in timed bisimulation for timed automata with deadlines. In the present paper we provide an algebraic proof system for direct derivation of such relation by syntactic manipulation. We establish that the proof system is sound and complete." @default.
- W1582918992 created "2016-06-24" @default.
- W1582918992 creator A5045902411 @default.
- W1582918992 creator A5059610025 @default.
- W1582918992 date "2006-01-01" @default.
- W1582918992 modified "2023-09-24" @default.
- W1582918992 title "Axiomatizing Timed Automata with Deadlines" @default.
- W1582918992 cites W1503973138 @default.
- W1582918992 cites W1521107250 @default.
- W1582918992 cites W1552826644 @default.
- W1582918992 cites W1596185389 @default.
- W1582918992 cites W2004463571 @default.
- W1582918992 cites W2016014698 @default.
- W1582918992 cites W2022258624 @default.
- W1582918992 cites W2025975926 @default.
- W1582918992 cites W2101508170 @default.
- W1582918992 cites W2105135809 @default.
- W1582918992 cites W2107558091 @default.
- W1582918992 cites W2118044617 @default.
- W1582918992 cites W2130773092 @default.
- W1582918992 cites W2142718416 @default.
- W1582918992 cites W2153770341 @default.
- W1582918992 cites W2162510824 @default.
- W1582918992 cites W2169869634 @default.
- W1582918992 cites W36865365 @default.
- W1582918992 hasPublicationYear "2006" @default.
- W1582918992 type Work @default.
- W1582918992 sameAs 1582918992 @default.
- W1582918992 citedByCount "0" @default.
- W1582918992 crossrefType "journal-article" @default.
- W1582918992 hasAuthorship W1582918992A5045902411 @default.
- W1582918992 hasAuthorship W1582918992A5059610025 @default.
- W1582918992 hasConcept C112505250 @default.
- W1582918992 hasConcept C11413529 @default.
- W1582918992 hasConcept C121332964 @default.
- W1582918992 hasConcept C127162648 @default.
- W1582918992 hasConcept C132074034 @default.
- W1582918992 hasConcept C134306372 @default.
- W1582918992 hasConcept C135315306 @default.
- W1582918992 hasConcept C168167062 @default.
- W1582918992 hasConcept C2524010 @default.
- W1582918992 hasConcept C25343380 @default.
- W1582918992 hasConcept C2778562939 @default.
- W1582918992 hasConcept C30788636 @default.
- W1582918992 hasConcept C31258907 @default.
- W1582918992 hasConcept C33923547 @default.
- W1582918992 hasConcept C41008148 @default.
- W1582918992 hasConcept C77088390 @default.
- W1582918992 hasConcept C80444323 @default.
- W1582918992 hasConcept C9376300 @default.
- W1582918992 hasConcept C97355855 @default.
- W1582918992 hasConceptScore W1582918992C112505250 @default.
- W1582918992 hasConceptScore W1582918992C11413529 @default.
- W1582918992 hasConceptScore W1582918992C121332964 @default.
- W1582918992 hasConceptScore W1582918992C127162648 @default.
- W1582918992 hasConceptScore W1582918992C132074034 @default.
- W1582918992 hasConceptScore W1582918992C134306372 @default.
- W1582918992 hasConceptScore W1582918992C135315306 @default.
- W1582918992 hasConceptScore W1582918992C168167062 @default.
- W1582918992 hasConceptScore W1582918992C2524010 @default.
- W1582918992 hasConceptScore W1582918992C25343380 @default.
- W1582918992 hasConceptScore W1582918992C2778562939 @default.
- W1582918992 hasConceptScore W1582918992C30788636 @default.
- W1582918992 hasConceptScore W1582918992C31258907 @default.
- W1582918992 hasConceptScore W1582918992C33923547 @default.
- W1582918992 hasConceptScore W1582918992C41008148 @default.
- W1582918992 hasConceptScore W1582918992C77088390 @default.
- W1582918992 hasConceptScore W1582918992C80444323 @default.
- W1582918992 hasConceptScore W1582918992C9376300 @default.
- W1582918992 hasConceptScore W1582918992C97355855 @default.
- W1582918992 hasLocation W15829189921 @default.
- W1582918992 hasOpenAccess W1582918992 @default.
- W1582918992 hasPrimaryLocation W15829189921 @default.
- W1582918992 hasRelatedWork W130102441 @default.
- W1582918992 hasRelatedWork W135663677 @default.
- W1582918992 hasRelatedWork W143370938 @default.
- W1582918992 hasRelatedWork W1484364085 @default.
- W1582918992 hasRelatedWork W1507081797 @default.
- W1582918992 hasRelatedWork W1552826644 @default.
- W1582918992 hasRelatedWork W1970083749 @default.
- W1582918992 hasRelatedWork W2178621533 @default.
- W1582918992 hasRelatedWork W2344990015 @default.
- W1582918992 hasRelatedWork W2398303742 @default.
- W1582918992 hasRelatedWork W2603486396 @default.
- W1582918992 hasRelatedWork W2604841551 @default.
- W1582918992 hasRelatedWork W2741764335 @default.
- W1582918992 hasRelatedWork W2950697212 @default.
- W1582918992 hasRelatedWork W3033082555 @default.
- W1582918992 hasRelatedWork W3039036172 @default.
- W1582918992 hasRelatedWork W3082306462 @default.
- W1582918992 hasRelatedWork W3091546927 @default.
- W1582918992 hasRelatedWork W3138334597 @default.
- W1582918992 hasRelatedWork W2172041191 @default.
- W1582918992 isParatext "false" @default.
- W1582918992 isRetracted "false" @default.
- W1582918992 magId "1582918992" @default.
- W1582918992 workType "article" @default.