scientific article

zbMath1270.68225MaRDI QIDQ2843711

Stefan Sokołowski

Publication date: 23 August 2013

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

On the expressiveness of higher dimensional automata ⋮ A Framework for Component Categories

This page was built for publication: