The power of priority channel systems

DOI10.2168/LMCS-10(4:4)2014MaRDI QIDQ5892062zbMATH OpenFDO

Authors Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen

Publication date 15 January 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-10(4:4)2014

zbMATH Keywords

fast-growing complexitywell-quasi-orderwell-structured transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The Power of Priority Channel Systems
• scientific article; zbMATH DE number 3881887
• Priority Networks of Communicating Finite State Machines
• Priority systems with many identical processes
• Algorithmic analysis of programs with well quasi-ordered domains.

Cited in

(20)

• Well quasi-orders arising from finite ordered semigroups
• The transformation monoid of a partially lossy queue
• On freeze LTL with ordered attributes
• Complexity hierarchies beyond elementary
• The ideal approach to computing closed subsets in well-quasi-orderings
• About priority encoding transmission
• The inclusion structure of partially lossy queue monoids and their trace submonoids
• The Cayley-graph of the queue monoid: logic and decidability
• The Parametric Complexity of Lossy Counter Machines
• On functions weakly computable by pushdown Petri nets and related systems
• The Power of Priority Channel Systems
• Perfect failure detection with very few bits
• The ideal view on Rackoff's coverability technique
• Send to me first: Priority in synchronous message-passing
• Branching in well-structured transition systems (invited talk)
• On the width of the Cartesian product of ordinals
• Priority downward closures
• Verifying unboundedness via amalgamation
• Reachability problems on reliable and lossy queue automata
• On the state complexity of closures and interiors of regular languages with subwords and superwords

This page was built for publication: The power of priority channel systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892062)