scientific article

zbMath1047.68554MaRDI QIDQ3045275

Marko M. Mäkelä

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2360/23600434.htm

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) Theory of software (68N99)

Related Items (5)

A UTP approach for rTiMo ⋮ Unnamed Item ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ M-nets: a survey ⋮ Maria

Uses Software

• LoLA
• Bandera

This page was built for publication: