11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez +1
Input-output conformance simulation (iocos) has been proposed by Gregorio-Rodríguez, Llana and Martínez-Torres as a simulation-based behavioural preorder underlying model-based tes…
cs.LO2013★ 11 cited
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
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…