61 citations · 73 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.LO2011★ 8 cited
Permission-Based Separation Logic for Message-Passing Concurrency
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission…
cs.PL2005★ 61 cited
Contextual equivalence for higher-order pi-calculus revisited
Alan Jeffrey, Julian Rathke
The higher-order pi-calculus is an extension of the pi-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sang…