6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 6 cited
Distributive Laws and Decidable Properties of SOS Specifications
Bartek Klin, Beata Nachyła
Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a co…
cs.LO2010
Proceedings Sixth Workshop on Structural Operational Semantics
Bartek Klin, Paweł Sobociński
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop…