scientific article

zbMath1272.68298MaRDI QIDQ2848139

Daniele Gorla, Rocco De Nicola, Rosario Pugliese

Publication date: 25 September 2013

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

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

On the expressive power of \textsc{Klaim}-based calculi

Uses Software

• KLAIM

This page was built for publication: