Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-38592-6_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Visibly Pushdown Languages

2004English

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Visibly Pushdown Transducers With Look-Ahead

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

Controllers for the Verification of Communicating Multi-Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Visibly Pushdown Transducers for Approximate Validation of Streaming XML

English

Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Equivalences of Pushdown Systems Are Hard

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy