Andrea Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Application of a Resource Logic to the Non-Temporal Analysis.. - Hayman (2003) Self-citation (Nets) (Correct)
No context found.
Andrea Asperti and Nadia Busi. Mobile petri nets. Technical Report UBLCS-96-10, University of Bologna, Department of Computer Science, May 1996.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Andrea Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Andrea Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
No context found.
A. Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Andrea Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987.
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