23 citations · 85 across the 23 of their papers we have counts for
1 paper · 1 filter
Benedikt Bollig, Paul Gastin
These lecture notes cover basic automata-theoretic concepts and logical formalisms for the modeling and verification of concurrent and distributed systems. Many of these concepts n…