scientific article; zbMATH DE number 2242598

zbMath1087.68608MaRDI QIDQ5714451

Antti Puhakka

Publication date: 2 January 2006

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150400.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)

Related Items (2)

All congruences below stability-preserving fair testing or CFFD ⋮ Revivals, stuckness and the hierarchy of CSP models

This page was built for publication: