47 citations · 115 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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.LO2014★ 47 cited
Automata theory in nominal sets
Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota
We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensui…