Showing 1 - 4 results of 4 for search 'Daniel Hirschkoff', query time: 0.02s
Refine Results
-
1
A Distribution Law for CCS and a New Congruence Result for the pi-calculus by Daniel Hirschkoff, Damien Pous
Published 2008-05-01
Article -
2
Divergence and unique solution of equations by Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Published 2019-08-01
Article -
3
On the Expressiveness of the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi
Published 2006-03-01
Article -
4
Separability in the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi
Published 2008-09-01
Article