16 citations · 55 across the 11 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008
On characterising strong bisimilarity in a fragment of CCS with replication
Daniel Hirschkoff, Damien Pous
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch…
cs.LO2008★ 6 cited
Separability in the Ambient Logic
Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi
The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistruc…