Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890142394> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2890142394 abstract "Channel boundedness is a necessary condition for a message-passing system to exhibit regular, finite-state behaviour at the global level. For Message Sequence Graphs (MSGs), the most basic form of High-level Message Sequence Charts (HMSCs), channel boundedness can be characterized in terms of structural conditions on the underlying graph. We consider MSGs enriched with timing constraints between events. These constraints restrict the global behaviour and can impose channel boundedness even when it is not guaranteed by the graph structure of the MSG. We show that we can use MSGs with timing constraints to simulate computations of a two-counter machine. As a consequence, even the more fundamental problem of reachability, which is trivial for untimed MSGs, becomes undecidable when we add timing constraints. Different forms of channel boundedness also then turn out to be undecidable, using reductions from the reachability problem." @default.
- W2890142394 created "2018-09-27" @default.
- W2890142394 creator A5019904129 @default.
- W2890142394 creator A5064833291 @default.
- W2890142394 creator A5089939290 @default.
- W2890142394 date "2009-01-01" @default.
- W2890142394 modified "2023-09-27" @default.
- W2890142394 title "Reachability and boundedness in time-constrained MSC graphs" @default.
- W2890142394 cites W1490804831 @default.
- W2890142394 cites W1510714812 @default.
- W2890142394 cites W1583858366 @default.
- W2890142394 cites W1589531268 @default.
- W2890142394 cites W1886894358 @default.
- W2890142394 cites W1923222846 @default.
- W2890142394 cites W2012140001 @default.
- W2890142394 cites W201628453 @default.
- W2890142394 cites W2025970201 @default.
- W2890142394 cites W2044184458 @default.
- W2890142394 cites W2166159524 @default.
- W2890142394 cites W2804848512 @default.
- W2890142394 cites W2585817176 @default.
- W2890142394 hasPublicationYear "2009" @default.
- W2890142394 type Work @default.
- W2890142394 sameAs 2890142394 @default.
- W2890142394 citedByCount "3" @default.
- W2890142394 countsByYear W28901423942013 @default.
- W2890142394 crossrefType "book-chapter" @default.
- W2890142394 hasAuthorship W2890142394A5019904129 @default.
- W2890142394 hasAuthorship W2890142394A5064833291 @default.
- W2890142394 hasAuthorship W2890142394A5089939290 @default.
- W2890142394 hasBestOaLocation W28901423942 @default.
- W2890142394 hasConcept C114614502 @default.
- W2890142394 hasConcept C136643341 @default.
- W2890142394 hasConcept C33923547 @default.
- W2890142394 hasConcept C41008148 @default.
- W2890142394 hasConceptScore W2890142394C114614502 @default.
- W2890142394 hasConceptScore W2890142394C136643341 @default.
- W2890142394 hasConceptScore W2890142394C33923547 @default.
- W2890142394 hasConceptScore W2890142394C41008148 @default.
- W2890142394 hasLocation W28901423941 @default.
- W2890142394 hasLocation W28901423942 @default.
- W2890142394 hasOpenAccess W2890142394 @default.
- W2890142394 hasPrimaryLocation W28901423941 @default.
- W2890142394 hasRelatedWork W1501233076 @default.
- W2890142394 hasRelatedWork W1863517246 @default.
- W2890142394 hasRelatedWork W2368796975 @default.
- W2890142394 hasRelatedWork W2748952813 @default.
- W2890142394 hasRelatedWork W2786605369 @default.
- W2890142394 hasRelatedWork W2899084033 @default.
- W2890142394 hasRelatedWork W3006118393 @default.
- W2890142394 hasRelatedWork W3026940864 @default.
- W2890142394 hasRelatedWork W381935118 @default.
- W2890142394 hasRelatedWork W4247047556 @default.
- W2890142394 isParatext "false" @default.
- W2890142394 isRetracted "false" @default.
- W2890142394 magId "2890142394" @default.
- W2890142394 workType "book-chapter" @default.