2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2026
Universal Properties of Petri Net Unfoldings
Serge Lechenne, Hugo Paquet
It is an established idea in concurrency theory that every Petri net admits an unfolding semantics. This is a denotational object that represents its domain of possible executions.…
cs.LO2024★ 2 cited
Braids, twists, trace and duality in combinatory algebras
Masahito Hasegawa, Serge Lechenne
We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented ta…