Speaker: Muck van Weerdenburg (OAS, TU/e)
Title: Structural Operational Semantics with First-Order Logic

Abstract:
(joint work with Michel Reniers) We introduce a formalism
for Structural Operational Semantics (SOS) which allows first-order
logic formulae as premises of rules. This formalism is strongly
related to the traditional formalisms. We also give a notion of
stratification, which guarantees well-definedness of specifications,
and a conservative extention of the ntyft/ntyxt congruence format
for strong bisimilarity.