Cervesato, I.: A Speci cation Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting. In Delzanno, G., Etalle, S., Gabbrielli, M., eds.: Workshop on Speci cation, Analysis and Validation for Emerging Technologies | SAVE'01, Paphos, Cyprus (2001) 1-22 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
On Representing Biological Systems through - Multiset Rewriting Bistarelli Self-citation (Cervesato) (Correct)
On Representing Biological Systems through - Multiset Rewriting Martinelli Self-citation (Cervesato) (Correct)
Representing Biological Systems through Multiset.. - Martinelli, Bistarelli, .. Self-citation (Cervesato) (Correct)
On Representing Biological Systems through Multiset.. - Martinelli.. Self-citation (Cervesato) (Correct)
A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2003) (2 citations) Self-citation (Cervesato) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC