The two fields of automata theory and formal languages on the one hand, and concurrency theory on the other hand, have developed independently, but have a lot in common. The one is a basic model of computation that gives us notions like algorithm and computability, the other is a basic …

read more# Other presentations

Page 1 / 1