------------------------------------------------------------------------
For paper requests email: degano@di.unipi.it
------------------------------------------------------------------------
Here you can find Other papers
------------------------------------------------------------------------
Journals
*Degano,
P., Priami, C., Leth, L., e Thomsen, B.
Causality for Debugging Mobile
Agents, Acta Informatica, 36 (1999) 335-374.
*Bodei,
C., Degano, P., Nielson, F. e Riis Nielson, H.
Static Analysis for the ?-calculus
with Applications to Security,
To appear in Information &
Computation.
*Nottegar,
C., Priami, C. e Degano, P.
Performance Evaluation of Mobile
Processes via Abstract Machines,
To appear in IEEE Transactions
on Software Engineering.
*Degano,
P. e Priami, C. Enhanced Operational Semantics:
A Tool for Describing and Analysing
Concurrent Systems,
To appear in ACM Computing Surveys.
*Degano,
P., Gadducci, F. e Priami, C.
A Causal Semantics for CCS via
Rewriting Logic,
To appear in Theoretical Computer
Science.
*Bodei,
C., Degano, P., Focardi, R. e Priami, C.
Primitives for Authentication
in Process Algebras,
To appear in Theoretical Computer
Science.
*Bodei,
C., Degano, P. e Priami, C. Names of Mobile Agents Handled
Locally, Theoretical Computer
Science 253, 2 (February 2000), 155-184..
*Degano,
P. and Priami, C. Non Interleaving Semantics for Mobile
Processes, Theoretical Computer
Science 216, 1-2 (March 1999), 237-270.
*Degano,
P. e Priami, C. LR Techniques for Handling Syntax Errors,
Computer Languages, 24 (1998)
73-98.
*Degano,
P., Meseguer, J. e Montanari, U. Axiomatizing the Algebra of Net
Computations and Processes, Acta
Informatica , 33 (7) (October 1996),
641-667.
*Degano,
P. e Gorrieri, R. A Causal Operational Semantics of Atomic
Refinement, Information &
Computation , 122, 1, (October 1995), 97-119.
*Degano,
P. e Raffoni, L. Fairness and Priority, Fundamenta Informaticae
XXII (1995) 299-306.
*Degano,
P., De Nicola, R. e Montanari, U. Universal Axioms for
Bisimulations, Theoretical Computer
Science , 114 (1993) 63-91.
*Darondeau,
Ph. e Degano, P. Refinement of actions in Event Structures
and Causal Trees, Theoretical
Computer Science , 118 (1993) 21-48.
*Darondeau,
Ph. e Degano, P. About semantic action refinement. Fundamenta
Informaticae , XIV (1991), 221-234.
*Degano,
P., De Nicola, R. e Montanari, U. A partial ordering semantics
for CCS. Theoretical Computer
Science , 75 (1990), 223-262.
------------------------------------------------------------------------
Conferences and Workshops
*Bodei,
C., Degano, P., Focardi, R. and Priami, C.
Authentication via Localized Names,
Proc. 12th IEEE CSFW, Mordano
28-30 June 1999, pp. 98-110.
*Brodo,
L., Degano, P. and Priami, C.
A tool for quantitative analysis
of pi-calculus processes.
Proc. PAPM 2000, Geneva, 2000.
*Bodei,
C., Degano, P., and Levi, F.
Control Flow Analysis for Mobile
Safe Ambients,
Proc. ASIANí00, Penang, Malaysia,
November 25-27, 2000,
Lecture Notes in Computer Science,(M.
Sato and He Jifeng, Eds),
Vol. 1961, Springer, Berlin, pp.
199-214.
*Bodei,
C., Degano, P., Nielson, F. e Riis Nielson, H.
Static Analysis for Secrecy and
Non-Interference in Networks of Processes,
Proc. Pact-20001, Novosibirsk,
September 3-7, 2001,
Lecture Notes in Computer Science,
Springer, Berlin.
*Bartoletti,
M., Degano, P. e feggari G.L.
Static Analysis for Stack Inspection,
Proc. ConCoord,
Lipari, 6-8 July 2001, Electronic
Notes in
Theoretical Computer Science 54
(2001), Springer,
http://www.elsevier.nl/locate/entcs/volume54.html
*Nottegar,
C., Priami, C. and Degano, P. Semantic-driven Performance
Evaluation, Proc. FASE'99, Amsterdam,
22-26 March 1999, Lecture Notes in
Computer Science, (J.-P. Finance,
Ed.), Vol. 1577, Springer, Berlin.
*Bodei,
C., Degano, P., Nielson, F. e Riis Nielson, H. Static Analysis of
Processes for No Read-Up and No
Write-Down, Proc. 2nd FoSSaCS*99,
Amsterdam, 22-26 March 1999, Lecture
Notes in Computer Science (W. Thomas,
Ed.), Vol. ??, Springer, Berlin.
*Degano,
P. Gadducci, F. e Carabetta, G. CCS semantics via Proved
Transition Systems and Rewriting
Logic, Proc. WRLA*98, Pont-a-Mousson
September 1-4, 1998, Electronic
Notes in Theoretical Computer Science 15
(1998), Springer, 1998.
*Bodei,
C., Degano, P. e Priami, C. Constructing specific SOS semantics
for concurrency via abstract interpretation,
Proc. SAS *98, Pisa 14-16
September, 1998, Lecture Notes
in Computer Science (G. Levi, Ed.), Vol.
1503, Springer, Berlin, pp. 168-183.
*Bodei,
C., Degano, P., Nielson, F. e Riis Nielson, H. Control Flow
Analysis for the pi-calculus,
Proc. 9th CONCUR*98, Nice, 8-11 September
1998, Lecture Notes in Computer
Science (D. Sangiorgi and R. de Simone,
Eds), Vol. 1466, Springer, Berlin,
pp. 84-98.
*Degano,
P., Loddo J.-V., e Priami, C. Mobile processes with local
clocks, In: Proc. LOMAPS Workshop
on Analysis and Verification of
Multiple-agent Languages, Stockholm
1996, Lecture Notes in Computer
Science ( M. Dam Ed.), Vol. 1192,
Springer, Berlin, pp. 296-319.
*Degano,
P., Priami, C., Leth, L., e Thomsen, B. Analysis of Facile
Programs, In: Proc. LOMAPS Workshop
on Analysis and Verification of
Multiple-agent Languages, Stockholm
1996, Lecture Notes in Computer
Science (M. Dam Ed.), Vol. 1192,
Springer, Berlin, pp. 345-369.
*R.
Borgia, P. Degano, C. Priami, L. Leth and B. Thomsen. Understanding
Mobile Agents via a Non Interleaving
Semantics for Facile . In Proceedings
of SAS'96 , Aachen, LNCS 1145,
(Cousot, R. and Schmidt, D.A. Eds.),
Springer-Verlag, 98--112, 1996.
*C.
Bodei, P. Degano and C. Priami. Mobile Processes with a Distributed
Environment . In Proceedings of
ICALP'96 , Paderborn, LNCS 1099, (F. Meyer
auf der Heide. B. Monien Eds.),
Springer-Verlag, 490--501, 1996.
*A.
Mycroft, P. Degano and C. Priami. Complexity as a Basis for Comparing
Semantic Models of Concurrency
. In Algorithms, Concurrency and Knowledge
-- Proceedings of Asian Computing
Science Conference , Pathumthani, LNCS
1023, (K. Kanchanasut, J.-J. L{\'e}vy,
Eds), Spinger-Verlag, 141--155,
1995.
*P.
Degano and C. Priami. Causality for Mobile Processes. In Proceedings
of ICALP'95 , Szeged, Hungary,
LNCS 944, (Z. Fulop, F. Gecseg Eds.),
Springer-Verlag, 660--671, 1995
*Degano,
P., Gorrieri, R. e Vigna, S. On Relating Some Models for
Concurrency, Proc. TAPSOFT '93
(M.-C. Gaudel and J.-P. Jouannaud Eds) ,
1993, Lecture Notes in Computer
Science, Vol. 668, Springer, Berlin, pp.
15-30.
*P.
Degano and C. Priami. Proved Trees. In Proceedings of ICALP'92 ,
Wien, LNCS 623, (W. Kuich Ed.),
Springer-Verlag, 629--640, 1992.