M. Bravetti and A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Di#erent Advancing Speeds. Theoretical Computer Science 290(1):355--406, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Quantitative Approach to Noninterference for Probabilistic.. - Aldini, Di Pierro (2003) Self-citation (Aldini) (Correct)
No context found.
M. Bravetti and A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Di#erent Advancing Speeds. Theoretical Computer Science 290(1):355--406, 2003.
A Study about Trade-off between Performance and Security in.. - Aldini, Gorrieri Self-citation (Aldini) (Correct)
No context found.
M. Bravetti, A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Di#erent Advancing Speeds. Theoretical Computer Science 290(1):355-406, 2003.
Two Formal Approaches for Approximating.. - Aldini, Bravetti.. (2004) Self-citation (Bravetti Aldini) (Correct)
No context found.
M. Bravetti and A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Di#erent Advancing Speeds. Theoretical Computer Science 290(1):355--406, 2003.
A Quantitative Approach to Noninterference for Probabilistic.. - Aldini, Di Pierro (2003) Self-citation (Aldini) (Correct)
No context found.
M. Bravetti and A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Di erent Advancing Speeds. Theoretical Computer Science 290(1):355-406, 2003.
On the Extension of Non-interference with Probabilities - Aldini (2002) (1 citation) Self-citation (Aldini) (Correct)
No context found.
M. Bravetti, A. Aldini, \Discrete Time Generative-reactive Probabilistic Processes with Di erent Advancing Speeds", to appear in Theoretical Computer Science
On Quantitative Analysis of Probabilistic Protocols - Aldini, Di Pierro (2004) (Correct)
No context found.
Bravetti, M., and A. Aldini, Discrete Time Generative-reactive Probabilistic Processes with Di#erent Advancing Speeds, Theoretical Computer Science 290(1):355--406, 2003.
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