150 citations · 623 across the 65 of their papers we have counts for
1 paper · 2 filters
Uli Fahrenberg, Axel Legay
We propose behavioral specification theories for most equivalences in the linear-time--branching-time spectrum. Almost all previous work on specification theories focuses on bisimi…