tag : bisimulation
1 publication
On the Expressive Power of KLAIM-based Calculi (article in journal, 2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese On the Expressive Power of KLAIM-based Calculi (article in journal, 2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese