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