FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W89384568> ?p ?o ?g. }

• W89384568 abstract "We introduce an automata-based formal model suitable for specifying, modeling, analyzing, and verifying asynchronous task-based and message-passing programs. Our model consists of visibly pushdown automata communicating over unbounded reliable point-to-point first-in-first-out queues. Such a combination unifies two branches of research, one focused on task-based models, and the other on models of message-passing programs. Our model generalizes previously proposed models that have decidable reachability in several ways. Unlike task-based models of asynchronous programs, our model allows sending and receiving of messages even when stacks are not empty, without imposing restrictions on the number of context-switches or communication topology. Our model also generalizes the well-known communicating finite-state machines with recognizable channel property allowing (1) individual components to be visibly pushdown automata, which are more suitable for modeling (possibly recursive) programs, (2) the set of words (i.e., languages) of messages on queues to form a visibly pushdown language, which permits modeling of remote procedure calls and simple forms of counting, and (3) the relations formed by tuples of such languages to be synchronized, which permits modeling of complex interactions among processes. In spite of these generalizations, we prove that the composite configuration and control-state reachability are still decidable for our model." @default.
• W89384568 created "2016-06-24" @default.
• W89384568 creator A5000765311 @default.
• W89384568 creator A5021217615 @default.
• W89384568 date "2013-01-01" @default.
• W89384568 modified "2023-10-01" @default.
• W89384568 title "Asynchronously Communicating Visibly Pushdown Systems" @default.
• W89384568 cites W1493367105 @default.
• W89384568 cites W1526347109 @default.
• W89384568 cites W1536744902 @default.
• W89384568 cites W1563374799 @default.
• W89384568 cites W1623927329 @default.
• W89384568 cites W17260705 @default.
• W89384568 cites W1762311305 @default.
• W89384568 cites W1842117537 @default.
• W89384568 cites W1860772589 @default.
• W89384568 cites W1861590051 @default.
• W89384568 cites W1969005071 @default.
• W89384568 cites W1979257155 @default.
• W89384568 cites W2005868161 @default.
• W89384568 cites W2010365467 @default.
• W89384568 cites W2025970201 @default.
• W89384568 cites W2054801208 @default.
• W89384568 cites W2060345611 @default.
• W89384568 cites W2111270089 @default.
• W89384568 cites W2123948057 @default.
• W89384568 cites W2151033407 @default.
• W89384568 cites W3009147436 @default.
• W89384568 cites W4241223029 @default.
• W89384568 doi "https://doi.org/10.1007/978-3-642-38592-6_16" @default.
• W89384568 hasPublicationYear "2013" @default.
• W89384568 type Work @default.
• W89384568 sameAs 89384568 @default.
• W89384568 citedByCount "4" @default.
• W89384568 countsByYear W893845682014 @default.
• W89384568 countsByYear W893845682015 @default.
• W89384568 countsByYear W893845682023 @default.
• W89384568 crossrefType "book-chapter" @default.
• W89384568 hasAuthorship W89384568A5000765311 @default.
• W89384568 hasAuthorship W89384568A5021217615 @default.
• W89384568 hasBestOaLocation W893845681 @default.
• W89384568 hasConcept C110251889 @default.
• W89384568 hasConcept C112505250 @default.
• W89384568 hasConcept C11413529 @default.
• W89384568 hasConcept C116248031 @default.
• W89384568 hasConcept C118615104 @default.
• W89384568 hasConcept C118930307 @default.
• W89384568 hasConcept C134083981 @default.
• W89384568 hasConcept C136643341 @default.
• W89384568 hasConcept C151319957 @default.
• W89384568 hasConcept C151730666 @default.
• W89384568 hasConcept C153269930 @default.
• W89384568 hasConcept C167822520 @default.
• W89384568 hasConcept C174327141 @default.
• W89384568 hasConcept C186644900 @default.
• W89384568 hasConcept C199360897 @default.
• W89384568 hasConcept C27034413 @default.
• W89384568 hasConcept C2777669093 @default.
• W89384568 hasConcept C2779343474 @default.
• W89384568 hasConcept C31258907 @default.
• W89384568 hasConcept C33923547 @default.
• W89384568 hasConcept C41008148 @default.
• W89384568 hasConcept C77944639 @default.
• W89384568 hasConcept C80444323 @default.
• W89384568 hasConcept C86803240 @default.
• W89384568 hasConcept C92117001 @default.
• W89384568 hasConcept C97212296 @default.
• W89384568 hasConceptScore W89384568C110251889 @default.
• W89384568 hasConceptScore W89384568C112505250 @default.
• W89384568 hasConceptScore W89384568C11413529 @default.
• W89384568 hasConceptScore W89384568C116248031 @default.
• W89384568 hasConceptScore W89384568C118615104 @default.
• W89384568 hasConceptScore W89384568C118930307 @default.
• W89384568 hasConceptScore W89384568C134083981 @default.
• W89384568 hasConceptScore W89384568C136643341 @default.
• W89384568 hasConceptScore W89384568C151319957 @default.
• W89384568 hasConceptScore W89384568C151730666 @default.
• W89384568 hasConceptScore W89384568C153269930 @default.
• W89384568 hasConceptScore W89384568C167822520 @default.
• W89384568 hasConceptScore W89384568C174327141 @default.
• W89384568 hasConceptScore W89384568C186644900 @default.
• W89384568 hasConceptScore W89384568C199360897 @default.
• W89384568 hasConceptScore W89384568C27034413 @default.
• W89384568 hasConceptScore W89384568C2777669093 @default.
• W89384568 hasConceptScore W89384568C2779343474 @default.
• W89384568 hasConceptScore W89384568C31258907 @default.
• W89384568 hasConceptScore W89384568C33923547 @default.
• W89384568 hasConceptScore W89384568C41008148 @default.
• W89384568 hasConceptScore W89384568C77944639 @default.
• W89384568 hasConceptScore W89384568C80444323 @default.
• W89384568 hasConceptScore W89384568C86803240 @default.
• W89384568 hasConceptScore W89384568C92117001 @default.
• W89384568 hasConceptScore W89384568C97212296 @default.
• W89384568 hasLocation W893845681 @default.
• W89384568 hasLocation W893845682 @default.
• W89384568 hasOpenAccess W89384568 @default.
• W89384568 hasPrimaryLocation W893845681 @default.
• W89384568 hasRelatedWork W1496958170 @default.
• W89384568 hasRelatedWork W1553276218 @default.
• W89384568 hasRelatedWork W1590145945 @default.

• next