Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luca Aceto
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
Acta Informatica
Computer Networks
Software
Information Systems
Communications
A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
A Rule Format for Unit Elements
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Survey of Runtime Monitoring Instrumentation Techniques
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Complete Equational Axiomatization for MPA With String Iteration
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Split-2 Bisimilarity Has a Finite Axiomatization Over CCS With Hennessy's Merge
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On the Existence of a Finite Base for Complete Trace Equivalence Over BPA With Interrupt
BRICS Report Series
Checking Consistency of Pedigree Information Is NP-complete (Preliminary Report)
BRICS Report Series
CCS With Hennessy's Merge Has No Finite Equational Axiomatization
BRICS Report Series
A Complete Equational Axiomatization for Prefix Iteration With Silent Steps
BRICS Report Series
1
2
›
