Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Nicola, Rocco de"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Nondeterministic regular expressions as solutions of equational systems
Rocco De Nicola
,
Anna Labella
Theoretical Computer Science
302
(1-3), 2003, pp. 179-189
Divergence in testing and readiness semantics
Michele Boreale
,
Rocco De Nicola
,
Rosario Pugliese
Theoretical Computer Science
266
(1-2), 2001, pp. 237-248
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
Xiao Jun Chen
,
Rocco de Nicola
Theoretical Computer Science
254
(1-2), 2001, pp. 337-361
Models of nondeterministic regular expressions
Flavio Corradini
,
Rocco de Nicola
,
Anna Labella
Journal of Computer and System Sciences
59
(3), 1999, pp. 412-449
Graded modalities and resource bisimulation
Flavio Corradini
,
Rocco de Nicola
,
Anna Labella
Lecture Notes in Computer Science
1738
, 1999, pp. 381-393
Basic observables for processes
Michele Boreale
,
Rocco de Nicola
,
Rosario Pugliese
Lecture Notes in Computer Science
1256
, 1997, pp. 482-492
Locality based semantics for process algebras
Flavio Corradini
,
Rocco de Nicola
Acta Informatica
34
(4), 1997, pp. 291-324
A symbolic semantics for the
\pi
-calculus
Michele Boreale
,
Rocco de Nicola
Information and Computation
126
(1), 1996, pp. 34-52
Algebraic characterizations of decorated trace equivalences over tree-like structures
Xiao Jun Chen
,
Rocco de Nicola
Lecture Notes in Computer Science
1099
, 1996, pp. 63-74
Testing equivalence for mobile processes
Michele Boreale
,
Rocco de Nicola
Information and Computation
120
(2), 1995, pp. 279-303
A symbolic semantics for the
\pi
-calculus
Michele Boreale
,
Rocco De Nicola
Lecture Notes in Computer Science
836
, 1994, pp. 299-314
Distribution and locality of concurrent systems
Flavio Corradini
,
Rocco de Nicola
Lecture Notes in Computer Science
820
, 1994, pp. 154-165
Universal axioms for bisimulations
Pierpaolo Degano
,
Rocco De Nicola
,
Ugo Montanari
Theoretical Computer Science
114
(1), 1993, pp. 63-91
A distributed operational semantics for CCS based on condition/event systems
Pierpaolo Degano
,
Rocco De Nicola
,
Ugo Montanari
Acta Informatica
26
, 1988, pp. 59-91