1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Alexander Kurz
This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is…