scientific article

zbMath1270.68157MaRDI QIDQ2843732

A. John Power

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806431

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Category theory for operational semantics ⋮ Coalgebraic semantics for timed processes

This page was built for publication: