Context-Bounded Analysis of Concurrent Queue Systems
From MaRDI portal
Recommendations
Cites work
- Analysis of a class of communicating finite state machines
- Complexity results for 1-safe nets
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
- Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- Interprocedural analysis of asynchronous programs
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification in loosely synchronous queue-connected discrete timed automata.
- VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES
Cited in
(45)- Realizability of concurrent recursive programs
- Verifying parallel programs with dynamic communication structures
- Guessing the buffer bound for k-synchronizability
- On the k-synchronizability of systems
- Reachability of scope-bounded multistack pushdown systems
- The decidability of verification under PS 2.0
- Data flow analysis of asynchronous systems using infinite abstract domains
- The complexity of model checking multi-stack systems
- Multiparty half-duplex systems and synchronous communications
- Synchronizability for Verification of Asynchronously Communicating Systems
- Bounded phase analysis of message-passing programs
- Reachability of multistack pushdown systems with scope-bounded matching relations
- Parameterized Verification of Communicating Automata under Context Bounds
- On deciding synchronizability for asynchronously communicating systems
- Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
- An Infinite Automaton Characterization of Double Exponential Time
- On the Reachability Analysis of Acyclic Networks of Pushdown Systems
- The language theory of bounded context-switching
- Games on Multi-stack Pushdown Systems
- Realizability of Concurrent Recursive Programs
- Games on Higher Order Multi-stack Pushdown Systems
- scientific article; zbMATH DE number 1773081 (Why is no real title available?)
- Compatibility properties of synchronously and asynchronously communicating components
- Emptiness of ordered multi-pushdown automata is 2ETIME-complete
- Temporal logics for concurrent recursive programs: satisfiability and model checking
- Bounded context switching for valence systems
- scientific article; zbMATH DE number 7471708 (Why is no real title available?)
- Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
- On the path-width of integer linear programming
- Context-bounded analysis of TSO systems
- Extending the Service Domain of an Interactive Bounded Queue
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- A Sound Algorithm for Asynchronous Session Subtyping
- Reachability analysis of communicating pushdown systems
- Reachability analysis of communicating pushdown systems
- Guessing the Buffer Bound for k-Synchronizability
- Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
- Concurrent expandable AMQs on the basis of quotient filters
- Complete multiparty session type projection with automata
- Round- and context-bounded control of dynamic pushdown systems
- Weakly synchronous systems with three machines are Turing powerful
- Towards generalised half-duplex systems
- Deciding branching time properties for asynchronous programs
- Verification of well-formed communicating recursive state machines
This page was built for publication: Context-Bounded Analysis of Concurrent Queue Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458334)
