scientific article
From MaRDI portal
Publication:2863864
zbMath1276.68121MaRDI QIDQ2863864
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052588?np=y
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 (2)
Responsiveness and stable revivals ⋮ Interactive tool support for CSP \(\parallel\) B consistency checking
Uses Software
This page was built for publication:
