Milner’s Communication and Concurrency contrasts a notion of “bisimulation” with what he characterizes as the view in standard automata theory. Standard automata theory, however, has
Read more
Tag: bisimulation
@vy@mastodon.social