111 citations · 374 across the 31 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Ugo Montanari
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized…