Luca Aceto | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Adrian Francalanza
1 publication
Wan Fokkink
1 publication
Ian Cassar
1 publication
Bas Luttik
1 publication
Valentina Castiglioni
1 publication
Anna Igolfsdottir
1 publication
Anna Ingólfsdóttir
1 publication

research

∙ 10/05/2020

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Bergstra and Klop have shown that bisimilarity has a finite equational a...

0 Luca Aceto, et al. ∙

research

∙ 08/24/2017

A Survey of Runtime Monitoring Instrumentation Techniques

Runtime Monitoring is a lightweight and dynamic verification technique t...

0 Ian Cassar, et al. ∙

Success!

An error occurred