Login / Signup

Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).

Parosh Aziz AbdullaMats Kindahl
Published in: CONCUR (1995)
Keyphrases
  • extended abstract
  • finite state
  • distributed systems
  • state space
  • image compression
  • markov chain