Portuguese Bissimulação Cited by user Bresende on 20 Feb 2015 Na teoria da computação uma bissimulação é uma relação binária entre sistemas de transição de estados, ou também chamados apenas de sistemas de transição (sistemas…
English Bisimulation Cited by user Ott2 on 22 Aug 2011 In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that…
English Simulation preorder Cited by user Ott2 on 22 Aug 2011 In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that…