scientific article

zbMath0976.68111MaRDI QIDQ2762495

Luca Aceto, Anna Ingólfsdóttir, W. J. Fokkink

Publication date: 9 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2010/20100039

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)

Ready to preorder: an algebraic and general proof ⋮ Nested semantics over finite trees are equationally hard

This page was built for publication: