Person: Roberto Gorrieri

DBLP: Gorrieri:Roberto

Facilitated 1 volumes:

Ed

Contributed to:

2008

2004

2003

2001

2000

1996

1994

1990

1989

1991

1993

1997

Wrote 13 papers:

SFM-2008-VersariG #calculus #implementation #process

pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi (CV, RG), pp. 449–506.

SAC-2004-BravettiLZG #e-commerce #quality #security #web #web service

Web Services for E-commerce: guaranteeing security access and quality of service (MB, RL, GZ, RG), pp. 800–806.

ESOP-2003-GorrieriLM #analysis #encryption #protocol #realtime

A Simple Language for Real-Time Cryptographic Protocol Analysis (RG, EL, FM), pp. 114–128.

FoSSaCS-2001-BusiGZ #coordination

Temporary Data in Shared Dataspace Coordination Languages (NB, RG, GZ), pp. 121–136.

ICALP-2000-BravettiG #axiom #behaviour #congruence #finite

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.

ICALP-2000-FocardiGM #analysis #encryption #protocol

Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.

TACAS-1996-FocardiG #automation #composition #security #verification

Automatic Compositional Verification of Some Security Properties (RF, RG), pp. 167–186.

CAV-1994-GorrieriS #realtime #using #verification

Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.

POPL-1990-AspertiFG #proving

Implicative Formulae in the “Proofs as Computations” Analogy (AA, GLF, RG), pp. 59–71.

CAAP-1989-BrogiG #distributed #prolog #semantics

A Distributed, Net Oriented Semantics for Delta Prolog (AB, RG), pp. 162–177.

ADC-1991-FerrariGM #theorem

An Extended Expansion Theorem (GLF, RG, UM), pp. 29–48.

TAPSOFT-1993-DeganoGV #concurrent #modelling #on the

On Relating Some Models for Concurrency (PD, RG, SV), pp. 15–30.

TAPSOFT-1997-RensinkG #implementation #refinement

Action Refinement as an Implementation Relations (AR, RG), pp. 772–786.