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="Gadducci, Fabio"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Adhesivity is not enough: Local Church-Rosser revisited
Paolo Baldan
,
Fabio Gadducci
,
Pawel Sobociński
Lecture Notes in Computer Science
6907
, 2011, pp. 48-59
Synthesising CCS bisimulation using graph rewriting
Filippo Bonchi
,
Fabio Gadducci
,
Barbara König
Information and Computation
207
(1), 2009, pp. 14-40
Compositional specification of Web services via behavioural equivalence of nets: A case study
Filippo Bonchi
,
Antonio Brogi
,
Sara Corfini
,
Fabio Gadducci
Lecture Notes in Computer Science
5062
, 2008, pp. 52-71
Processes as formal power series: A coinductive approach to denotational semantics
Michele Boreale
,
Fabio Gadducci
Theoretical Computer Science
360
(1-3), 2006, pp. 440-458
Denotational testing semantics in coinductive form
Michele Boreale
,
Fabio Gadducci
Lecture Notes in Computer Science
2747
, 2003, pp. 279-289
Normal forms for algebras of connections
Roberto Bruni
,
Fabio Gadducci
,
Ugo Montanari
Theoretical Computer Science
286
(2), 2002, pp. 247-292
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Andrea Corradini
,
Fabio Gadducci
Theoretical Computer Science
286
(2), 2002, pp. 293-322
A causal semantics for CCS via rewriting logic
Pierpaolo Degano
,
Fabio Gadducci
,
Corrado Priami
Theoretical Computer Science
275
(1-2), 2002, pp. 259-282
Modal
\mu
-types for processes
Marino Muculan
,
Fabio Gadducci
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 221-231