BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Germany
1 × Greece
1 × Israel
1 × The Netherlands
2 × USA
2 × United Kingdom
3 × Portugal
3 × Spain
4 × Italy
Collaborated with:
R.Pugliese M.Loreti M.Boreale M.Hennessy D.Latella M.Massink L.Bettini F.Tiezzi M.Bernardo X.J.Chen F.Corradini A.Celestini D.Gorla G.Castagna D.Varacca P.Degano U.Montanari G.L.Ferrari J.Katoen A.Fantechi S.Gnesi G.Ristori Y.A.Alrahman R.Vigo A.Maggi M.Petrocchi A.Spognardi L.Bortolussi V.Galpin S.Gilmore J.Hillston
Talks about:
process (7) base (6) system (5) equival (4) mobil (4) calculus (3) program (3) languag (3) concurr (3) observ (3)

Person: Rocco De Nicola

DBLP DBLP: Nicola:Rocco_De

Facilitated 1 volumes:

ESOP 2007Ed

Contributed to:

QAPL 20152015
SAC 20152015
SEFM 20152015
QAPL 20132013
SAC 20132013
FOSSACS 20122012
ICALP (2) 20092009
ICALP 20052005
LICS 20052005
QAPL 20052006
SAC 20052005
SFM-Moby 20052005
SAC 20022002
FoSSaCS 19991999
LICS 19991999
FoSSaCS 19981998
ICALP 19971997
ICALP 19961996
ICALP 19941994
CAV 19911991
LICS 19881988
ICALP 19831983
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT CAAP/FASE 19971997

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.