Turning SOS Rules into Equations

• 1 May 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 111  (1) , 1-52
• https://doi.org/10.1006/inco.1994.1040

Abstract

Keywords

• STRUCTURAL
• EQUATIONAL
• SOS
• CONVERTING
• INDUCTION
• BISIMULATION
• GIVE
• INFINITARY
• LANGUAGE