scientific article
From MaRDI portal
Publication:2863849
zbMath1276.68078MaRDI QIDQ2863849
Ian A. Mason, Carolyn L. Talcott
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105051923?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of computability and recursion theory (03D80)
This page was built for publication:
