scientific article

zbMath1114.68036MaRDI QIDQ3413371

Jaco van de Pol, Simona Orzan

Publication date: 4 January 2007

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

Mathematics Subject Classification ID

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 (1)

Semantic models of a timed distributed dataspace architecture

This page was built for publication: