2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2009★ 2 cited
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…
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…