Searching for authors named Corrado Priami – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

39 documents found, showing 1 through 10. Next 10 →

Stochastic Pi-Calculus With General Distributions
by Corrado Priami — 1996 — in Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT
…Stochastic ��-calculus with general distributions Corrado Priami Dipartimento di Informatica…
Cited by 2 (0 self) – Add To MetaCart

Qualitative and Quantitative Analysis of Mobile Systems
by Corrado Priami — 1997
…Qualitative and Quantitative Analysis of Mobile Systems Corrado Priami D'epartement de Math…
Cited by 1 (0 self) – Add To MetaCart

SOS Partial Ordering Semantics of pi-calculus
by Pierpaolo Degano, Corrado Priami — 1996
…, Universit`a di Pisa Corso Italia, 40, I-56125 Pisa, Italy - degano@(email omitted); Corrado Priami Departement…
Add To MetaCart

Enhanced Operational Semantics
by Pierpaolo Degano, Corrado Priami — 1996 — ACM Computing Surveys
…Enhanced Operational Semantics Pierpaolo Degano and Corrado Priami Dipartimento di Informatica…
Cited by 36 (16 self) – Add To MetaCart

Causality for Mobile Processes
by Pierpaolo Degano, Corrado Priami — 1995 — In Proceedings of ICALP'95, LNCS 944
…Causality for Mobile Processes ? Pierpaolo Degano and Corrado Priami Dipartimento di Informatica…
Cited by 26 (18 self) – Add To MetaCart

A logical approach to security in the context of ambient calculus. to appear in Electronic Notes in Computer Science, Elsevier, available at http://dit.unitn.it/ mardare/publications.htm
by Radu Mardare, Corrado Priami — 2003 — open n Q m[ ] | u[ ] | s[ ] • n[ ] out m • in m n[ ] • ′ open t | • ′′ out s | • open s P
… Abstract Radu Mardare 1 and Corrado Priami 2 Dipartimento di Informatica e Telecomunicazioni University…
Cited by 2 (2 self) – Add To MetaCart

A decidable extension of hennessy-milner logic with spatial operators
by Radu Mardare, Corrado Priami — 2006
…Decidable extensions of Hennessy-Milner Logic ⋆ Radu Mardare 1 and Corrado Priami 1,2 1 University…
Cited by 3 (1 self) – Add To MetaCart

A propositional branching temporal logic for ambient calculus
by Radu Mardare, Radu Mardare, Corrado Priami, Corrado Priami — 2003
… FOR THE AMBIENT CALCULUS Radu Mardare and Corrado Priami October 2003 Technical Report # DIT-03-053 . A…
Cited by 1 (1 self) – Add To MetaCart

Computing the accessibility relation for ambient calculus
by Radu Mardare, Radu Mardare, Corrado Priami, Corrado Priami — 2003
… CALCULUS Radu Mardare and Corrado Priami October 2003 Technical Report # DIT-03-054 . Computing…
Cited by 1 (1 self) – Add To MetaCart

Compact Transition Systems
by Pierpaolo Degano, Corrado Priami — In ??, number ?? Springer-Verlag, LNCS
… Corso Italia, 40, I-56125 Pisa, Italy - degano@(email omitted); Corrado Priami Istituto Policattedra…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB