Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Luca Aceto: Slides
Luca Aceto's Slides for Recent Talks
Bisimilarity is not Finitely
Based over BPA with Interrupt . Talk delivered at the Symposium on
the Semantics of Concurrency , Eindhoven University of Technology,
The Netherlands, 26 September 2005.
The Importance of
Research for a Modern University . Talk delivered at the
Autumn 2005 Reykjavik University staff
day, August 17, 2005, Reykjavik, Iceland.
The Importance of Being Negative (with Emphasis on the Equational Logic of Processes) . Seminar delivered at the Inaugural ICE-TCS Symposium held at Reykjavik University ,
April 30, 2005, Reykjavik, Iceland.
The Joys of Bisimulation. Part 1: Games Processes Play . Seminar at Reykjavik University ,
March 31, 2005, Reykjavik, Iceland.
The Role of Hennessy's Merge
in the Quest for Finite Equational Axiomatizations of Parallel
Composition Modulo Bisimilarity . Seminar at BRICS, Aalborg University ,
September 29, 2004, Aalborg, Denmark. [Abstract ]
How to Referee a Scientific
Paper . Seminar at Reykjavík
University , November 14, 2003, Reykjavík, Iceland.
How to Give a Talk . Seminar at Reykjavík University , October 31, 2003,
Reykjavík, Iceland.
How to Write a Paper . Seminar at Reykjavík University , October 23, 2003,
Reykjavík, Iceland.
Nested Semantics over Finite Trees are Equationally Hard . Invited talk at EXPRESS'03 , 10th International
Workshop on Expressiveness in Concurrency, September 2, 2003,
Marseille, France.
Kleene Through the Process Algebraic
Glass . Invited talk at FICS'02 .
A Fully
Equational Proof of Parikh's Theorem . (Courtesy of Zoltán Ésik )
Equational Theories of Tropical Semirings . [Slides for the FoSSaCS '01
talk (PostScript file)] Slides for a seminar talk based
on this paper (PostScript file)]
2-Nested Simulation is
not Finitely Equationally Axiomatizable . (Courtesy of Anna Ingólfsdóttir )
BRICS WWW home page
Luca Aceto ,
Department of
Computer Science ,
Aalborg University .
Last modified:
Monday, 03-Oct-2005 17:25:31 CEST.