Controllers for the Verification of Communicating Multi-pushdown Systems

DOI10.1007/978-3-662-44584-6_21zbMath1417.68111OpenAlexW1563656742MaRDI QIDQ3190125

K. Narayan Kumar, C. Aiswarya, Paul Gastin

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Realizability of concurrent recursive programs ⋮ Bounded Context Switching for Valence Systems ⋮ Data Multi-Pushdown Automata

This page was built for publication: Controllers for the Verification of Communicating Multi-pushdown Systems