 |
|
|
|
| Papers |
|
Papers (co-)authored by Axelle Ziegler
| [1] |
Axelle Ziegler, Dale Miller, and Catuscia Palamidessi.
A congruence format for name-passing calculi.
In Proceedings of the 2nd Workshop on Structural Operational
Semantics (SOS'05), volume 156 of Electronic Notes in Theoretical
Computer Science, pages 169-189, Lisbon, Portugal, 2006. Elsevier Science
B.V.
http://www.lix.polytechnique.fr/~catuscia/papers/Axelle/SOS_05/report.pdf. [ bib ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi