Matches in SemOpenAlex for { <https://semopenalex.org/work/W1790982954> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1790982954 endingPage "96" @default.
- W1790982954 startingPage "81" @default.
- W1790982954 abstract "We study the reachability problem for communicating timed processes, both in discrete and dense time. Our model comprises automata with local timing constraints communicating over unbounded FIFO channels. Each automaton can only access its set of local clocks; all clocks evolve at the same rate. Our main contribution is a complete characterization of decidable and undecidable communication topologies, for both discrete and dense time. We also obtain complexity results, by showing that communicating timed processes are at least as hard as Petri nets; in the discrete time, we also show equivalence with Petri nets. Our results follow from mutual topology-preserving reductions between timed automata and (untimed) counter automata. To account for urgency of receptions, we also investigate the case where processes can test emptiness of channels." @default.
- W1790982954 created "2016-06-24" @default.
- W1790982954 creator A5011012804 @default.
- W1790982954 creator A5026706967 @default.
- W1790982954 creator A5074542253 @default.
- W1790982954 creator A5080032804 @default.
- W1790982954 date "2013-01-01" @default.
- W1790982954 modified "2023-10-18" @default.
- W1790982954 title "Reachability of Communicating Timed Processes" @default.
- W1790982954 cites W1500730377 @default.
- W1790982954 cites W1511439447 @default.
- W1790982954 cites W1514415753 @default.
- W1790982954 cites W1561730144 @default.
- W1790982954 cites W1842117537 @default.
- W1790982954 cites W1886894358 @default.
- W1790982954 cites W1923222846 @default.
- W1790982954 cites W1976426006 @default.
- W1790982954 cites W1981600284 @default.
- W1790982954 cites W2025970201 @default.
- W1790982954 cites W2040008220 @default.
- W1790982954 cites W2101508170 @default.
- W1790982954 cites W2106307239 @default.
- W1790982954 cites W2109318253 @default.
- W1790982954 cites W2123160677 @default.
- W1790982954 cites W2151720555 @default.
- W1790982954 cites W2169601056 @default.
- W1790982954 cites W62188582 @default.
- W1790982954 doi "https://doi.org/10.1007/978-3-642-37075-5_6" @default.
- W1790982954 hasPublicationYear "2013" @default.
- W1790982954 type Work @default.
- W1790982954 sameAs 1790982954 @default.
- W1790982954 citedByCount "9" @default.
- W1790982954 countsByYear W17909829542013 @default.
- W1790982954 countsByYear W17909829542014 @default.
- W1790982954 countsByYear W17909829542015 @default.
- W1790982954 countsByYear W17909829542016 @default.
- W1790982954 countsByYear W17909829542017 @default.
- W1790982954 countsByYear W17909829542018 @default.
- W1790982954 countsByYear W17909829542019 @default.
- W1790982954 crossrefType "book-chapter" @default.
- W1790982954 hasAuthorship W1790982954A5011012804 @default.
- W1790982954 hasAuthorship W1790982954A5026706967 @default.
- W1790982954 hasAuthorship W1790982954A5074542253 @default.
- W1790982954 hasAuthorship W1790982954A5080032804 @default.
- W1790982954 hasBestOaLocation W17909829541 @default.
- W1790982954 hasConcept C112505250 @default.
- W1790982954 hasConcept C11413529 @default.
- W1790982954 hasConcept C114614502 @default.
- W1790982954 hasConcept C118615104 @default.
- W1790982954 hasConcept C136643341 @default.
- W1790982954 hasConcept C153269930 @default.
- W1790982954 hasConcept C184720557 @default.
- W1790982954 hasConcept C192034797 @default.
- W1790982954 hasConcept C199360897 @default.
- W1790982954 hasConcept C2777145635 @default.
- W1790982954 hasConcept C2777669093 @default.
- W1790982954 hasConcept C2780069185 @default.
- W1790982954 hasConcept C30788636 @default.
- W1790982954 hasConcept C33923547 @default.
- W1790982954 hasConcept C38677869 @default.
- W1790982954 hasConcept C41008148 @default.
- W1790982954 hasConcept C80444323 @default.
- W1790982954 hasConceptScore W1790982954C112505250 @default.
- W1790982954 hasConceptScore W1790982954C11413529 @default.
- W1790982954 hasConceptScore W1790982954C114614502 @default.
- W1790982954 hasConceptScore W1790982954C118615104 @default.
- W1790982954 hasConceptScore W1790982954C136643341 @default.
- W1790982954 hasConceptScore W1790982954C153269930 @default.
- W1790982954 hasConceptScore W1790982954C184720557 @default.
- W1790982954 hasConceptScore W1790982954C192034797 @default.
- W1790982954 hasConceptScore W1790982954C199360897 @default.
- W1790982954 hasConceptScore W1790982954C2777145635 @default.
- W1790982954 hasConceptScore W1790982954C2777669093 @default.
- W1790982954 hasConceptScore W1790982954C2780069185 @default.
- W1790982954 hasConceptScore W1790982954C30788636 @default.
- W1790982954 hasConceptScore W1790982954C33923547 @default.
- W1790982954 hasConceptScore W1790982954C38677869 @default.
- W1790982954 hasConceptScore W1790982954C41008148 @default.
- W1790982954 hasConceptScore W1790982954C80444323 @default.
- W1790982954 hasLocation W17909829541 @default.
- W1790982954 hasLocation W17909829542 @default.
- W1790982954 hasLocation W17909829543 @default.
- W1790982954 hasOpenAccess W1790982954 @default.
- W1790982954 hasPrimaryLocation W17909829541 @default.
- W1790982954 hasRelatedWork W1563786920 @default.
- W1790982954 hasRelatedWork W1790982954 @default.
- W1790982954 hasRelatedWork W2341552178 @default.
- W1790982954 hasRelatedWork W2489809986 @default.
- W1790982954 hasRelatedWork W2798574028 @default.
- W1790982954 hasRelatedWork W2952981239 @default.
- W1790982954 hasRelatedWork W3138334597 @default.
- W1790982954 hasRelatedWork W4293865249 @default.
- W1790982954 hasRelatedWork W4299446758 @default.
- W1790982954 hasRelatedWork W4302437331 @default.
- W1790982954 isParatext "false" @default.
- W1790982954 isRetracted "false" @default.
- W1790982954 magId "1790982954" @default.
- W1790982954 workType "book-chapter" @default.