Searching for authors named Roberto Gorrieri – sorted by Relevance.
84 documents found, showing 1 through 10.
Next 10 →
-
A Classification of Security Properties (Extended Abstract)
- …A Classification of Security Properties (Extended Abstract) Riccardo Focardi Roberto Gorrieri…
- Add To MetaCart
-
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
- … Bravetti and Roberto Gorrieri Universita di Bologna, Dipartimento di Scienze dell'Informazione Mura Anteo…
- Cited by 5 (1 self) – Add To MetaCart
-
Vertical Implementation
- …-mail: rensink@(email omitted); and Roberto Gorrieri Dipartimento di Scienze dell’Informazione, University…
- Cited by 5 (0 self) – Add To MetaCart
-
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- … Refinement MARIO BRAVETTI and ROBERTO GORRIERI University of Bologna Due to the complex nature…
- Cited by 9 (3 self) – Add To MetaCart
-
On the computational power of brane calculi
- …On the computational power of Brane Calculi ⋆ Nadia Busi and Roberto Gorrieri Dipartimento di…
- Cited by 3 (0 self) – Add To MetaCart
-
A Petri Net Semantics for pi-Calculus
- …A Petri Net Semantics for ��-Calculus ? Nadia Busi 1 and Roberto Gorrieri 2 1 Dipartimento di…
- Cited by 6 (0 self) – Add To MetaCart
-
Non Interference: Past, Present and Future
- … mail: focardi@(email omitted); Roberto Gorrieri Dipartimento di Scienze dell'Informazione Universit`a di…
- Cited by 2 (1 self) – Add To MetaCart
-
Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)
- … and Action Refinement (Extended Abstract) 1 Mario Bravetti, Roberto Gorrieri Dipartimento di Scienze dell…
- Cited by 5 (4 self) – Add To MetaCart
-
Split and ST bisimulation semantics
- …Split and ST bisimulation semantics Roberto Gorrieri y Cosimo Laneve z Abstract In this paper…
- Cited by 12 (3 self) – Add To MetaCart
-
An Extensional Formulation of ST Bisimulation
- …An Extensional Formulation of ST Bisimulation Roberto Gorrieri z Cosimo Laneve y z Dipartimento…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
