Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297993062> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4297993062 abstract "Asynchronously communicating pushdown systems (ACPS) that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular decidable model for recursive programs with asynchronous atomic procedure calls. We study a relaxation of the empty-stack constraint for ACPS that permits concurrency and communication actions at any stack height, called the shaped stack constraint, thus enabling a larger class of concurrent programs to be modelled. We establish a close connection between ACPS with shaped stacks and a novel extension of Petri nets: Nets with Nested Coloured Tokens (NNCTs). Tokens in NNCTs are of two types: simple and complex. Complex tokens carry an arbitrary number of coloured tokens. The rules of NNCT can synchronise complex and simple tokens, inject coloured tokens into a complex token, and eject all tokens of a specified set of colours to predefined places. We show that the coverability problem for NNCTs is Tower-complete. To our knowledge, NNCT is the first extension of Petri nets, in the class of nets with an infinite set of token types, that has primitive recursive coverability. This result implies Tower-completeness of coverability for ACPS with shaped stacks." @default.
- W4297993062 created "2022-10-01" @default.
- W4297993062 creator A5034113102 @default.
- W4297993062 creator A5049219498 @default.
- W4297993062 date "2014-10-31" @default.
- W4297993062 modified "2023-10-18" @default.
- W4297993062 title "Decidable Models of Recursive Asynchronous Concurrency" @default.
- W4297993062 doi "https://doi.org/10.48550/arxiv.1410.8852" @default.
- W4297993062 hasPublicationYear "2014" @default.
- W4297993062 type Work @default.
- W4297993062 citedByCount "0" @default.
- W4297993062 crossrefType "posted-content" @default.
- W4297993062 hasAuthorship W4297993062A5034113102 @default.
- W4297993062 hasAuthorship W4297993062A5049219498 @default.
- W4297993062 hasBestOaLocation W42979930621 @default.
- W4297993062 hasConcept C111919701 @default.
- W4297993062 hasConcept C151319957 @default.
- W4297993062 hasConcept C153269930 @default.
- W4297993062 hasConcept C154945302 @default.
- W4297993062 hasConcept C177264268 @default.
- W4297993062 hasConcept C193702766 @default.
- W4297993062 hasConcept C199360897 @default.
- W4297993062 hasConcept C2777212361 @default.
- W4297993062 hasConcept C2778029271 @default.
- W4297993062 hasConcept C31258907 @default.
- W4297993062 hasConcept C38677869 @default.
- W4297993062 hasConcept C41008148 @default.
- W4297993062 hasConcept C48145219 @default.
- W4297993062 hasConcept C80444323 @default.
- W4297993062 hasConcept C9395851 @default.
- W4297993062 hasConceptScore W4297993062C111919701 @default.
- W4297993062 hasConceptScore W4297993062C151319957 @default.
- W4297993062 hasConceptScore W4297993062C153269930 @default.
- W4297993062 hasConceptScore W4297993062C154945302 @default.
- W4297993062 hasConceptScore W4297993062C177264268 @default.
- W4297993062 hasConceptScore W4297993062C193702766 @default.
- W4297993062 hasConceptScore W4297993062C199360897 @default.
- W4297993062 hasConceptScore W4297993062C2777212361 @default.
- W4297993062 hasConceptScore W4297993062C2778029271 @default.
- W4297993062 hasConceptScore W4297993062C31258907 @default.
- W4297993062 hasConceptScore W4297993062C38677869 @default.
- W4297993062 hasConceptScore W4297993062C41008148 @default.
- W4297993062 hasConceptScore W4297993062C48145219 @default.
- W4297993062 hasConceptScore W4297993062C80444323 @default.
- W4297993062 hasConceptScore W4297993062C9395851 @default.
- W4297993062 hasLocation W42979930621 @default.
- W4297993062 hasOpenAccess W4297993062 @default.
- W4297993062 hasPrimaryLocation W42979930621 @default.
- W4297993062 hasRelatedWork W1431947976 @default.
- W4297993062 hasRelatedWork W1490556023 @default.
- W4297993062 hasRelatedWork W1536150964 @default.
- W4297993062 hasRelatedWork W1974446124 @default.
- W4297993062 hasRelatedWork W2072146911 @default.
- W4297993062 hasRelatedWork W2260966014 @default.
- W4297993062 hasRelatedWork W2293205391 @default.
- W4297993062 hasRelatedWork W2335156980 @default.
- W4297993062 hasRelatedWork W2760222287 @default.
- W4297993062 hasRelatedWork W4289874384 @default.
- W4297993062 isParatext "false" @default.
- W4297993062 isRetracted "false" @default.
- W4297993062 workType "article" @default.