×

zbMATH — the first resource for mathematics

Aceto, Luca

Compute Distance To:
Author ID: aceto.luca Recent zbMATH articles by "Aceto, Luca"
Published as: Aceto, Luca; Aceto, L.
Homepage: http://www.ru.is/kennarar/luca/
External Links: MGP · ORCID · Wikidata · Google Scholar · dblp
Documents Indexed: 146 Publications since 1987, including 20 Books
all top 5

Co-Authors

14 single-authored
101 Ingólfsdóttir, Anna
27 Fokkink, Willem Jan
9 de Frutos-Escrig, David
9 Fábregas, Ignacio
9 Reniers, Michel Adriaan
8 Ésik, Zoltán
8 Luttik, Bas
7 Francalanza, Adrian
7 Goriac, Eugen-Ioan
6 Cimini, Matteo
6 Gregorio-Rodríguez, Carlos
5 Achilleos, Antonis
5 Della Monica, Dario
5 Hennessy, Matthew C. B.
4 García-Pérez, Álvaro
4 Sack, Joshua
3 Birgisson, Arnar
3 Chen, Taolue
3 Montanari, Angelo
3 Rauch Henzinger, Monika
3 Sciavicco, Guido
3 Sgall, Jiří
3 Verhoef, Chris
2 Bravetti, Mario
2 Caltais, Georgiana
2 Capobianco, Silvio
2 Damgård, Ivan Bjerre
2 Goldberg, Leslie Ann
2 Halldórsson, Magnús Mar
2 Kjartansson, Sævar Örn
2 Laroussinie, François
2 Larsen, Kim Guldstrand
2 Nain, Sumit
2 Ortega-Mallén, Yolanda
2 Palomino, Miguel
2 Panangaden, Prakash
2 Srba, Jiří
2 van Glabbeek, Robert Jan
2 Walukiewicz, Igor
1 Anastasiadi, Elli
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Baeten, Jos C. M.
1 Bloom, Bard
1 Bouyer, Patricia
1 Burgueño, Augusto
1 Carayol, Arnaud
1 Cassar, Ian
1 Castiglioni, Valentina
1 De Nicola, Rocco
1 Fantechi, Alessandro
1 Goranko, Valentin F.
1 Gordon, Andrew D.
1 Groote, Jan Friso
1 Hansen, Jens A.
1 Hüttel, Hans
1 Jeffrey, Alan S. A.
1 Johnsen, Jacob
1 Kleist, Josva
1 Knudsen, John
1 Legay, Axel
1 Levy, Paul Blain
1 Mardare, Radu
1 Murphy, David J.
1 Nestmann, Uwe
1 Pedersen, Mathias Ruggaard
1 Pedersen, Mikkel Lykke
1 Poulsen, Jan
1 Prisacariu, Cristian
1 Sobociński, Paweł
1 Ulidowski, Irek
1 Vaandrager, Frits W.
1 van de Pol, Jan Cornelis
1 Victor, Björn

Publications by Year

Citations contained in zbMATH Open

86 Publications have been cited 556 times in 340 Documents Cited by Year
Structural operational semantics. Zbl 1062.68074
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
77
2001
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
40
2007
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
37
1994
Termination, deadlock, and divergence. Zbl 0799.68131
Aceto, L.; Hennessy, M.
27
1992
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David
23
1996
Axiomatizing prefix iteration with silent steps. Zbl 0855.68030
Aceto, Luca; van Glabbeek, Rob; Fokkink, Wan; Ingólfsdóttir, Anna
15
1996
Towards action-refinement in process algebras. Zbl 0779.68028
Aceto, L.; Hennessy, M.
12
1993
CPO models for compact GSOS languages. Zbl 1096.68623
Aceto, Luca; Ingólfsdóttir, Anna
12
1996
Finite equational bases in process algebra: Results and open questions. Zbl 1171.68558
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
12
2005
A static view of localities. Zbl 0806.68069
Aceto, Luca
11
1994
Adding action refinement to a finite process algebra. Zbl 0834.68077
Aceto, L.; Hennessy, M.
11
1994
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
11
2003
Equational axioms for probabilistic bisimilarity. Zbl 1275.68099
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
11
2002
Ready to preorder: get your BCCSP axiomatization for free! Zbl 1214.68239
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
11
2007
A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces. Zbl 0917.68138
Aceto, Luca; Fokkink, Wan; Ingólfssdóttir, Anna
10
1998
Towards action-refinement in process algebras. Zbl 0716.68034
Aceto, L.; Hennessy, M.
8
1989
Monitorability for the Hennessy-Milner logic with recursion. Zbl 1370.68203
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
7
2017
Nested semantics over finite trees are equationally hard. Zbl 1101.68690
Aceto, Luca; Fokkink, Wan; van Glabbeek, Rob; Ingólfsdóttir, Anna
7
2004
CCS with Hennessy’s merge has no finite-equational axiomatization. Zbl 1078.68102
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
7
2005
A finite equational base for CCS with left merge and communication merge. Zbl 1367.68207
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
6
2009
History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074
Aceto, Luca
6
1992
Action refinement in process algebras. Zbl 0762.68003
Aceto, Luca
6
1992
A complete axiomatization of timed bisimulation for a class of timed regular behaviours. Zbl 0872.68039
Aceto, Luca; Jeffrey, Alan
6
1995
Full abstraction for series-parallel pomsets. Zbl 0967.68517
Aceto, Luca
6
1991
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 1008.68030
Aceto, Luca; Laroussinie, François
6
2002
Adding action refinement to a finite process algebra. Zbl 0786.68055
Aceto, Luca; Hennessy, Matthew
5
1991
GSOS and finite labelled transition systems. Zbl 0822.68060
Aceto, Luca
5
1994
On “Axiomatising finite concurrent processes”. Zbl 0809.68081
Aceto, Luca
5
1994
An equational axiomatization for multi-exit iteration. Zbl 0881.68069
Aceto, Luca; Fokkink, Wan
5
1997
On the axiomatizability of priority. Zbl 1134.68038
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2006
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
5
1987
On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers. Zbl 0955.08004
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
5
2000
Characteristic formulae for timed autoamta. Zbl 0974.68121
Aceto, Luca; Ingólfsdóttir, Anna; Pedersen, Mikkel Lykke; Poulsen, Jan
5
2000
On the axiomatisability of priority. Zbl 1141.68042
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2008
Characteristic formulae for fixed-point semantics: a general framework. Zbl 1279.68181
Aceto, Luca; Ingolfsdottir, Anna; Levy, Paul Blain; Sack, Joshua
5
2012
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
On the complexity of determinizing monitors. Zbl 06763309
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn
4
2017
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
4
2016
Relating distributed, temporal and causal observations of simple processes. Zbl 0847.68032
Aceto, Luca
4
1992
An equational axiomatization of observation congruence for prefix iteration. Zbl 0886.03031
Aceto, Luca; Ingólfsdóttir, Anna
4
1996
A fully equational proof of Parikh’s theorem. Zbl 1024.68070
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2002
The max-plus algebra of the natural numbers has no finite equational basis. Zbl 1021.08001
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
Equational theories of tropical semirings. Zbl 1021.08002
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
Bisimilarity is not finitely based over BPA with interrupt. Zbl 1154.68084
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit
4
2006
A framework for parameterized monitorability. Zbl 06904537
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
4
2018
On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
A characterization of finitary bisimulation. Zbl 1337.68177
Aceto, Luca; Ingólfsdóttir, Anna
3
1997
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Conservative extension in structural operational semantics. Zbl 0941.68620
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
3
1999
Testing Hennessy-Milner logic with recursion. Zbl 0932.03026
Aceto, Luca; Ingólfsdóttir, Anna
3
1999
Conservative extension in structural operational semantics. Zbl 1049.68082
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
3
2001
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Some of my favourite results in classic process algebra. Zbl 1169.68533
Aceto, Luca
3
2003
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Zbl 1260.68252
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Resource bisimilarity and graded bisimilarity coincide. Zbl 1260.68251
Aceto, Luca; Ingolfsdottir, Anna; Sack, Joshua
2
2010
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
2012
Axiomatizing weak simulation semantics over BCCSP. Zbl 1359.68183
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2014
Logical characterisations and compositionality of input-output conformance simulation. Zbl 1433.68090
Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
2
2017
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 0955.68079
Aceto, Luca; Laroussinie, François
2
1999
A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108
Aceto, Luca; Groote, Jan Friso
2
1999
On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based. Zbl 0915.68117
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
2
1998
2-nested simulation is not finitely equationally axiomatizable. Zbl 0976.68111
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
2
2001
Axiomatizing weak ready simulation semantics over BCCSP. Zbl 1351.68177
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Bisimilarity is not finitely based over BPA with interrupt. Zbl 1151.68499
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit
2
2005
The equational theory of prebisimilarity over basic CCS with divergence. Zbl 1191.68425
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas
2
2008
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
The quest for equational axiomatizations of parallel composition: status and open problems. Zbl 1316.68082
Aceto, Luca
1
2006
SOS rule formats for idempotent terms and idempotent unary operators. Zbl 1302.68181
Aceto, Luca; Goriac, Eugen-Ioan; Ingólfsdóttir, Anna
1
2013
A finite equational base for CCS with left merge and communication merge. Zbl 1134.68039
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
1
2006
A Cook’s tour of equational axiomatizations for prefix iteration. Zbl 0901.03027
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
1
1998
Axiomatizing tropical semirings. Zbl 0978.16045
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2001
Rule formats for bounded nondeterminism in structural operational semantics. Zbl 06560022
Aceto, Luca; García-Pérez, Álvaro; Ingólfsdóttir, Anna
1
2016
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
2013
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2012
The equational theory of weak complete simulation semantics over BCCSP. Zbl 1298.68161
Aceto, Luca; de Frutos-Escrig, David; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
1
2012
Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Zbl 1353.68192
Aceto, Luca; Fábregas, Ignacio; de Frutos Escrig, David; Ingólfsdóttir, Anna; Palomino, Miguel
1
2012
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2011
A cancellation theorem for BCCSP. Zbl 1154.68445
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna
1
2008
Characteristic formulae: from automata to logic. Zbl 1169.68497
Aceto, Luca; Ingolfsdottir, Anna
1
2007
When are prime formulae characteristic? Zbl 1425.68245
Aceto, L.; Della Monica, D.; Fábregas, I.; Ingólfsdóttir, A.
1
2015
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2009
Monitoring for silent actions. Zbl 07278079
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
1
2018
A framework for parameterized monitorability. Zbl 06904537
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
4
2018
Monitoring for silent actions. Zbl 07278079
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
1
2018
Monitorability for the Hennessy-Milner logic with recursion. Zbl 1370.68203
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
7
2017
On the complexity of determinizing monitors. Zbl 06763309
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn
4
2017
Logical characterisations and compositionality of input-output conformance simulation. Zbl 1433.68090
Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
2
2017
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
4
2016
Rule formats for bounded nondeterminism in structural operational semantics. Zbl 06560022
Aceto, Luca; García-Pérez, Álvaro; Ingólfsdóttir, Anna
1
2016
When are prime formulae characteristic? Zbl 1425.68245
Aceto, L.; Della Monica, D.; Fábregas, I.; Ingólfsdóttir, A.
1
2015
On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
Axiomatizing weak simulation semantics over BCCSP. Zbl 1359.68183
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2014
SOS rule formats for idempotent terms and idempotent unary operators. Zbl 1302.68181
Aceto, Luca; Goriac, Eugen-Ioan; Ingólfsdóttir, Anna
1
2013
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
2013
Characteristic formulae for fixed-point semantics: a general framework. Zbl 1279.68181
Aceto, Luca; Ingolfsdottir, Anna; Levy, Paul Blain; Sack, Joshua
5
2012
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
2012
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2012
The equational theory of weak complete simulation semantics over BCCSP. Zbl 1298.68161
Aceto, Luca; de Frutos-Escrig, David; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
1
2012
Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Zbl 1353.68192
Aceto, Luca; Fábregas, Ignacio; de Frutos Escrig, David; Ingólfsdóttir, Anna; Palomino, Miguel
1
2012
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Zbl 1260.68252
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Axiomatizing weak ready simulation semantics over BCCSP. Zbl 1351.68177
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2011
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Resource bisimilarity and graded bisimilarity coincide. Zbl 1260.68251
Aceto, Luca; Ingolfsdottir, Anna; Sack, Joshua
2
2010
A finite equational base for CCS with left merge and communication merge. Zbl 1367.68207
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
6
2009
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2009
On the axiomatisability of priority. Zbl 1141.68042
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2008
The equational theory of prebisimilarity over basic CCS with divergence. Zbl 1191.68425
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas
2
2008
A cancellation theorem for BCCSP. Zbl 1154.68445
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna
1
2008
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
40
2007
Ready to preorder: get your BCCSP axiomatization for free! Zbl 1214.68239
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
11
2007
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
Characteristic formulae: from automata to logic. Zbl 1169.68497
Aceto, Luca; Ingolfsdottir, Anna
1
2007
On the axiomatizability of priority. Zbl 1134.68038
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2006
Bisimilarity is not finitely based over BPA with interrupt. Zbl 1154.68084
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit
4
2006
The quest for equational axiomatizations of parallel composition: status and open problems. Zbl 1316.68082
Aceto, Luca
1
2006
A finite equational base for CCS with left merge and communication merge. Zbl 1134.68039
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
1
2006
Finite equational bases in process algebra: Results and open questions. Zbl 1171.68558
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
12
2005
CCS with Hennessy’s merge has no finite-equational axiomatization. Zbl 1078.68102
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
7
2005
Bisimilarity is not finitely based over BPA with interrupt. Zbl 1151.68499
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit
2
2005
Nested semantics over finite trees are equationally hard. Zbl 1101.68690
Aceto, Luca; Fokkink, Wan; van Glabbeek, Rob; Ingólfsdóttir, Anna
7
2004
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
11
2003
The max-plus algebra of the natural numbers has no finite equational basis. Zbl 1021.08001
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
Equational theories of tropical semirings. Zbl 1021.08002
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
Some of my favourite results in classic process algebra. Zbl 1169.68533
Aceto, Luca
3
2003
Equational axioms for probabilistic bisimilarity. Zbl 1275.68099
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
11
2002
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 1008.68030
Aceto, Luca; Laroussinie, François
6
2002
A fully equational proof of Parikh’s theorem. Zbl 1024.68070
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2002
Structural operational semantics. Zbl 1062.68074
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
77
2001
Conservative extension in structural operational semantics. Zbl 1049.68082
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
3
2001
2-nested simulation is not finitely equationally axiomatizable. Zbl 0976.68111
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
2
2001
Axiomatizing tropical semirings. Zbl 0978.16045
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2001
On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers. Zbl 0955.08004
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
5
2000
Characteristic formulae for timed autoamta. Zbl 0974.68121
Aceto, Luca; Ingólfsdóttir, Anna; Pedersen, Mikkel Lykke; Poulsen, Jan
5
2000
Conservative extension in structural operational semantics. Zbl 0941.68620
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
3
1999
Testing Hennessy-Milner logic with recursion. Zbl 0932.03026
Aceto, Luca; Ingólfsdóttir, Anna
3
1999
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 0955.68079
Aceto, Luca; Laroussinie, François
2
1999
A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108
Aceto, Luca; Groote, Jan Friso
2
1999
A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces. Zbl 0917.68138
Aceto, Luca; Fokkink, Wan; Ingólfssdóttir, Anna
10
1998
On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based. Zbl 0915.68117
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
2
1998
A Cook’s tour of equational axiomatizations for prefix iteration. Zbl 0901.03027
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
1
1998
An equational axiomatization for multi-exit iteration. Zbl 0881.68069
Aceto, Luca; Fokkink, Wan
5
1997
A characterization of finitary bisimulation. Zbl 1337.68177
Aceto, Luca; Ingólfsdóttir, Anna
3
1997
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David
23
1996
Axiomatizing prefix iteration with silent steps. Zbl 0855.68030
Aceto, Luca; van Glabbeek, Rob; Fokkink, Wan; Ingólfsdóttir, Anna
15
1996
CPO models for compact GSOS languages. Zbl 1096.68623
Aceto, Luca; Ingólfsdóttir, Anna
12
1996
An equational axiomatization of observation congruence for prefix iteration. Zbl 0886.03031
Aceto, Luca; Ingólfsdóttir, Anna
4
1996
A complete axiomatization of timed bisimulation for a class of timed regular behaviours. Zbl 0872.68039
Aceto, Luca; Jeffrey, Alan
6
1995
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
37
1994
A static view of localities. Zbl 0806.68069
Aceto, Luca
11
1994
Adding action refinement to a finite process algebra. Zbl 0834.68077
Aceto, L.; Hennessy, M.
11
1994
GSOS and finite labelled transition systems. Zbl 0822.68060
Aceto, Luca
5
1994
On “Axiomatising finite concurrent processes”. Zbl 0809.68081
Aceto, Luca
5
1994
Towards action-refinement in process algebras. Zbl 0779.68028
Aceto, L.; Hennessy, M.
12
1993
Termination, deadlock, and divergence. Zbl 0799.68131
Aceto, L.; Hennessy, M.
27
1992
History preserving, causal and mixed-ordering equivalence over stable event structures. Zbl 0767.68074
Aceto, Luca
6
1992
Action refinement in process algebras. Zbl 0762.68003
Aceto, Luca
6
1992
Relating distributed, temporal and causal observations of simple processes. Zbl 0847.68032
Aceto, Luca
4
1992
Full abstraction for series-parallel pomsets. Zbl 0967.68517
Aceto, Luca
6
1991
Adding action refinement to a finite process algebra. Zbl 0786.68055
Aceto, Luca; Hennessy, Matthew
5
1991
Towards action-refinement in process algebras. Zbl 0716.68034
Aceto, L.; Hennessy, M.
8
1989
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
5
1987
all top 5

Cited by 422 Authors

47 Aceto, Luca
41 Ingólfsdóttir, Anna
16 Fokkink, Willem Jan
14 Reniers, Michel Adriaan
12 Corradini, Flavio
12 Ésik, Zoltán
12 Gregorio-Rodríguez, Carlos
11 Tini, Simone
9 de Frutos-Escrig, David
9 Luttik, Bas
8 Francalanza, Adrian
8 Klin, Bartek
8 Larsen, Kim Guldstrand
6 Baeten, Jos C. M.
6 Chen, Taolue
6 Fábregas, Ignacio
6 Fahrenberg, Uli
5 Bergstra, Jan A.
5 Bonchi, Filippo
5 Bonsangue, Marcello Maria
5 Bravetti, Mario
5 Cimini, Matteo
5 Laroussinie, François
5 Legay, Axel
5 Lüttgen, Gerald
5 Majster-Cederbaum, Mila E.
5 Middelburg, Cornelis A.
5 Montanari, Ugo G.
5 Ulidowski, Irek
5 van Glabbeek, Robert Jan
4 Bernardo, Marco
4 Cao, Yongzhi
4 D’Argenio, Pedro Rubén
4 De Nicola, Rocco
4 Ferrari, Gian Luigi
4 Gorrieri, Roberto
4 Groote, Jan Friso
4 Rot, Jurriaan
4 Rutten, Jan J. M. M.
4 Sciavicco, Guido
4 Virbitskaite, Irina B.
4 Vogler, Walter
3 Bloom, Stephen L.
3 Bozhenkova, Elena N.
3 Castiglioni, Valentina
3 de Vink, Erik P.
3 Della Monica, Dario
3 Garavel, Hubert
3 García-Pérez, Álvaro
3 Gebler, Daniel E.
3 Gomez, Rodolfo
3 Hennessy, Matthew C. B.
3 Labella, Anna
3 Maggiolo-Schettini, Andrea
3 Mardare, Radu
3 Mosses, Peter D.
3 Palomino, Miguel
3 Phillips, Iain W.
3 Ponse, Alban
3 Rensink, Arend
3 Sack, Joshua
3 Sangiorgi, Davide
3 Silva, Alexandra
3 Xue, Bingtian
2 Achilleos, Antonis
2 Amiraslani, Amirhossein
2 Azgomi, Mohammad Abdollahi
2 Barbosa, Luís Soares
2 Barbuti, Roberto
2 Bartocci, Ezio
2 Boudol, Gérard
2 Bouyer, Patricia
2 Cassez, Franck
2 Castellani, Ilaria
2 Ćirić, Miroslav D.
2 Colvin, Robert J.
2 Crvenković, Siniša
2 Cuijpers, Pieter J. L.
2 Damljanović, Nada
2 Deng, Yuxin
2 Di Cola, Dino
2 Dolinka, Igor
2 Fecher, Harald
2 Fiore, Marcelo P.
2 Fu, Yuxi
2 Gabbay, Murdoch James
2 Ghalandarzadeh, Shaban
2 Goriac, Eugen-Ioan
2 Gorla, Daniele
2 Hennicker, Rolf
2 Hermanns, Holger
2 Ignjatović, Jelena
2 Jamshidvand, Sedighe
2 Johansen, Christian
2 Katoen, Joost-Pieter
2 Kiehn, Astrid
2 Lasota, Sławomir
2 Lavado, Giovanna Janet
2 Levy, Paul Blain
2 Madeira, Alexandre
...and 322 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.