Logical characterisations, rule formats and compositionality for input-output conformance simulation
- Aceto, L.
- Fábregas, I.
- Gregorio-Rodríguez, C.
- Ingólfsdóttir, A.
Aldizkaria:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Argitalpen urtea: 2019
Alea: 106
Orrialdeak: 78-106
Mota: Artikulua