52 citations · 267 across the 47 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013
Computation of Summaries Using Net Unfoldings
Javier Esparza, Loïg Jezequel, Stefan Schwoon
We study the following summarization problem: given a parallel composition A=A1||...||An of labelled transition systems communicating with the environment through a distinguished c…
cs.LO2013★ 4 cited
On Negotiation as Concurrency Primitive
Javier Esparza, Joerg Desel
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a…