A Pre-congruence Format for XY-simulation

DOI10.1007/978-3-319-24644-4_15zbMath1434.68322OpenAlexW1456689934MaRDI QIDQ3455865

No author found.

Publication date: 11 December 2015

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24644-4_15

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Logical Characterisations and Compositionality of Input-Output Conformance Simulation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graphical versus logical specifications
• Transition system specifications with negative premises
• SOS formats and meta-theory: 20 years after
• The meaning of negative premises in transition system specifications. II
• A structural approach to operational semantics
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
• Learning I/O Automata
• The meaning of negative premises in transition system specifications
• Precongruence formats for decorated trace semantics
• Modal Interface Automata
• Formal Approaches to Software Testing

This page was built for publication: A Pre-congruence Format for XY-simulation