57 citations · 253 across the 38 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 1 cited
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
Luca Aceto, Valentina Castiglioni, Wan Fokkink +2
Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved th…
cs.LO2020
Axiomatizing recursion-free, regular monitors
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +1
Monitors are a key tool in the field of runtime verification, where they are used to verify system properties by analyzing execution traces generated by processes. Work on runtime…