11 citations · 11 across the 1 of their papers we have counts for
1 paper
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…