BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
1 × United Kingdom
2 × Italy
2 × Portugal
2 × Spain
2 × USA
Collaborated with:
A.Ingólfsdóttir M.Hennessy W.Fokkink Z.Ésik A.Burgueño K.G.Larsen B.Bloom F.W.Vaandrager A.Carayol T.Chen B.Luttik M.Cimini M.R.Mousavi M.A.Reniers A.Achilleos A.Francalanza K.Lehtinen
Talks about:
process (3) algebra (3) equat (3) axiomat (2) action (2) refin (2) model (2) finit (2) time (2) test (2)

Person: Luca Aceto

DBLP DBLP: Aceto:Luca

Facilitated 6 volumes:

ICALP (1) 2011Ed
ICALP (2) 2011Ed
ICALP (1) 2008Ed
ICALP (2) 2008Ed
ICALP (2) 2008Ed
FoSSaCS 2006Ed

Contributed to:

ICALP (2) 20122012
LATA 20112011
ICALP (2) 20062006
FoSSaCS 20012001
FoSSaCS 19991999
FoSSaCS 19981998
TACAS 19981998
LICS 19921992
ICALP 19911991
LICS 19891989
TAPSOFT, Vol.1: CAAP 19911991
POPL 20192019

Wrote 14 papers:

ICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, , AI), pp. 30–41.
Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
ICALP-v2-2006-AcetoCFI #axiom #on the
On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.
ICALP-v2-2006-AcetoFIL #communication #equation #finite
A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.
FoSSaCS-2001-AcetoEI #axiom
Axiomatizing Tropical Semirings (LA, , AI), pp. 42–56.
FoSSaCS-1999-AcetoI #logic #recursion #testing
Testing Hennessy-Milner Logic with Recursion (LA, AI), pp. 41–55.
FoSSaCS-1998-AcetoFI #axiom #equation
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.
TACAS-1998-AcetoBL #automaton #model checking #reachability #testing
Model Checking via Reachability Testing for Timed Automata (LA, AB, KGL), pp. 263–280.
LICS-1992-AcetoBV #equation
Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.
ICALP-1991-AcetoH #algebra #finite #process #refinement
Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
LICS-1989-AcetoH #algebra #process #towards
Towards Action-Refinement in Process Algebras (LA, MH), pp. 138–145.
CAAP-1991-Aceto #abstraction
Full Abstraction for Series-Parallel Pomsets (LA), pp. 1–25.
TAPSOFT-1995-AcetoI #modelling
CPO Models for a Class of GSOS Languages (LA, AI), pp. 439–453.
POPL-2019-AcetoAFIL #branch #linear
Adventures in monitorability: from branching to linear time and back again (LA, AA, AF, AI, KL), p. 29.

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.