45 citations · 131 across the 11 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…