Separability, expressiveness, and decidability in the ambient logic
Hirschkoff, D., Lozes, E., Sangiorgi, D.
Published in Proceedings - Symposium on Logic in Computer Science (2002)
Published in Proceedings - Symposium on Logic in Computer Science (2002)
Get full text
Conference Proceeding
Journal Article
On the representation of McCarthy's amb in the π -calculus
Carayol, Arnaud, Hirschkoff, Daniel, Sangiorgi, Davide
Published in Theoretical computer science (09.02.2005)
Published in Theoretical computer science (09.02.2005)
Get full text
Journal Article
Conference Proceeding
A Correct Abstract Machine for Safe Ambients
Hirschkoff, Daniel, Pous, Damien, Sangiorgi, Davide
Published in Coordination Models and Languages (2005)
Published in Coordination Models and Languages (2005)
Get full text
Book Chapter
Conference Proceeding
Component-oriented programming with sharing: containment is not ownership
Hirschkoff, Daniel, Hirschowitz, Tom, Pous, Damien, Schmitt, Alan, Stefani, Jean-Bernard
Published in Generative Programming and Component Engineering (01.01.2005)
Published in Generative Programming and Component Engineering (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
On the way to certify Computer Algebra Systems
Boulmé, S., Hardin, T., Hirschkoff, D., Ménissier-Morain, V., Rioboo, R.
Published in Electronic notes in theoretical computer science (1999)
Published in Electronic notes in theoretical computer science (1999)
Get full text
Journal Article