11 citations · 15 across the 2 of their papers we have counts for
1 paper · 2 filters
David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino +1
Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their dis…