scientific article
From MaRDI portal
Publication:2851071
zbMath1272.68290MaRDI QIDQ2851071
Javier Esparza, Tayssir Touili, Ahmed Bouajjani
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052059
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (4)
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous ⋮ Verification of well-formed communicating recursive state machines ⋮ Verification of Boolean programs with unbounded thread creation ⋮ Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
This page was built for publication:
