scientific article
From MaRDI portal
Publication:2863831
zbMath1276.68054MaRDI QIDQ2863831
Ana Cavalcanti, J. C. P. Woodcock
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050905?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Angelic nondeterminism in the unifying theories of programming ⋮ Angelic processes for CSP via the UTP
This page was built for publication:
