Risk assessment for one-counter threads

DOI10.1007/s00224-007-9034-5zbMath1166.68010OpenAlexW2037573407MaRDI QIDQ1015382

Alban Ponse, Mark B. van der Zwaag

Publication date: 8 May 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-007-9034-5

zbMATH Keywords

reachabilityrisk assessmentthread algebraone-counter systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Decision problems for pushdown threads

Cites Work

• Unnamed Item
• Unnamed Item
• Decision problems for pushdown threads
• Deterministic one-counter automata
• Combining programs and state machines
• Polarized process algebra with reactive composition
• Process algebra for synchronous communication
• Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning $\omega $-Machines
• Processes and the denotational semantics of concurrency
• Logical Approaches to Computational Barriers

This page was built for publication: Risk assessment for one-counter threads