Person: Rocco De Nicola

DBLP: Nicola:Rocco_De

Facilitated 1 volumes:

Ed

Contributed to:

2015

2015

2015

2013

2013

2012

2009

2005

2005

2006

2005

2005

2002

1999

1999

1998

1997

1996

1994

1991

1988

1983

1987

1997

Wrote 24 papers:

QAPL-2015-BortolussiNGGHL #adaptation #markov #named

CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.

SAC-2015-AlrahmanNLTV #calculus #communication

A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.

SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.

QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.

SAC-2013-CelestiniNT #coordination #specification

Specifying and analysing reputation systems with a coordination language (AC, RDN, FT), pp. 1363–1368.

FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.

ICALP-v2-2009-NicolaLLM #calculus #probability #process

Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.

ICALP-2005-NicolaGP #calculus

Basic Observables for a Calculus for Global Computing (RDN, DG, RP), pp. 1226–1238.

LICS-2005-CastagnaNV #calculus #semantics #type system

Semantic Subtyping for the p-Calculus (GC, RDN, DV), pp. 92–101.

QAPL-2005-NicolaKLM06 #logic #performance #towards

Towards a Logic for Performance and Mobility (RDN, JPK, DL, MM), pp. 161–175.

SAC-2005-NicolaLM #analysis #formal method #mobile #modelling

Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.

SFM-2005-BettiniN #distributed #mobile #programming

Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.

SAC-2002-BettiniNL #mobile #programming

Software update via mobile agent based programming (LB, RDN, ML), pp. 32–36.

FoSSaCS-1999-BorealeNP #formal method #testing

A Theory of “May” Testing for Asynchronous Languages (MB, RDN, RP), pp. 165–179.

LICS-1999-BorealeNP #encryption #process #proving

Proof Techniques for Cryptographic Processes (MB, RDN, RP), pp. 157–166.

FoSSaCS-1998-BorealeNP #process

Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.

ICALP-1997-BorealeNP #process

Basic Observables for Processes (MB, RDN, RP), pp. 482–492.

ICALP-1996-ChenN #algebra

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.

ICALP-1994-CorradiniN #concurrent #locality

Distribution and Locality of Concurrent Systems (FC, RDN), pp. 154–165.

CAV-1991-NicolaFGR #behaviour #concurrent #framework #logic #verification

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (RDN, AF, SG, GR), pp. 37–47.

LICS-1988-DeganoNM #concurrent #consistency #on the #semantics

On the Consistency of “Truly Concurrent” Operational and Denotational Semantics (PD, RDN, UM), pp. 133–141.

ICALP-1983-NicolaH #equivalence #process #testing

Testing Equivalence for Processes (RDN, MH), pp. 548–560.

CAAP-1987-NicolaH

CCS without tau's (RDN, MH), pp. 138–152.

TAPSOFT-1997-NicolaFP #locality #programming

Locality Based Linda: Programming with Explicit Localities (RDN, GLF, RP), pp. 712–726.