Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science- Germany

doi 10.2168/lmcs-8(3:23)2012

Full Text

Abstract

Available in

Date

Authors

Publisher

Logical Methods in Computer Science e.V.

Related search

Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Controllers for the Verification of Communicating Multi-Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Regular Strategies in Pushdown Reachability Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modeling and Analysis of Communicating Systems

2014English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

Equivalences of Pushdown Systems Are Hard

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems

IET Systems Biology
GeneticsCell BiologyMolecular BiologySimulationModelingBiotechnology
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy