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 full text

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

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Modeling and Analysis of Communicating Systems

2014English

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

Sensitivity Analysis for Linear Systems Based on Reachability Sets

2019English

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

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

Privacy PolicyRefund Policy