4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2013★ 4 cited
Decomposing Petri nets
Julian Rathke, Pawel Sobocinski, Owen Stephens
In recent work, the second and third authors introduced a technique for reachability checking in 1-bounded Petri nets, based on wiring decompositions, which are expressions in a fr…
cs.LO2010★ 1 cited
Proceedings Seventh Workshop on Structural Operational Semantics
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…
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…