Abstrakt. Covariant-kontravariant simulering och conformance simulering är två generaliseringar av den enkla begreppet simulering som syftar till att fånga det faktum att det inte alltid är så att "desto större antal beteenden, desto bättre". De kan därför anses vara lämpligare för att uttrycka att ett system är ett korrekt genomförande av vissa specifikationer. Vi har tidigare visat att dessa två mer utvecklade begrepp passar bra inom det kategoriska ramverk som utvecklats för att studera begreppet simulering på ett generiskt sätt. Nu visar vi att deras beteenden också har enkla och naturliga logiska karakteriseringar, även om de är mer utvecklade än de för simulationssemantiken.
I REF har vi också kortfattat presenterat de logiska karakteriseringarna av de två semantikerna.
Logics for Contravariant Simulations
{'venue': 'In FORTE 2010', 'journal': None, 'mag_field_of_study': ['Computer Science']}