A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors [chapter]

David Sprunger
2016 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-40370-0_10 fatcat:ure6ah7mvjhene4ejd7pc7dcma