×

zbMATH — the first resource for mathematics

Ingólfsdóttir, Anna

Compute Distance To:
Author ID: ingolfsdottir.anna Recent zbMATH articles by "Ingólfsdóttir, Anna"
Published as: Ingólfsdóttir, Anna; Ingolfsdottir, Anna; Ingólfsdóttir, A.; Ingólfssdóttir, Anna; Ingolfsdottir, A.
Homepage: https://en.ru.is/the-university/faculty-and-staff/annai
External Links: MGP · Wikidata · ORCID · dblp
Documents Indexed: 114 Publications since 1990, including 8 Books

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 310 times in 193 Documents Cited by Year
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
38
2007
A theory of communicating processes with value passing. Zbl 0794.68098
Hennessy, M.; Ingólfsdóttir, A.
20
1993
Characteristic formulae for processes with divergence. Zbl 0804.68097
Steffen, Bernhard; Ingólfsdóttir, Anna
16
1994
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
Finite equational bases in process algebra: Results and open questions. Zbl 1171.68558
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
12
2005
Ready to preorder: get your BCCSP axiomatization for free! Zbl 1214.68239
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
11
2007
Equational axioms for probabilistic bisimilarity. Zbl 1275.68099
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
11
2002
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
A symbolic approach to value-passing processes. Zbl 1027.68092
Ingólfsdóttir, Anna; Lin, Huimin
7
2001
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
Communicating processes with value-passing and assignments. Zbl 0784.68055
Hennessy, M.; Ingólfsdóttir, A.
7
1993
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
Monitorability for the Hennessy-Milner logic with recursion. Zbl 1370.68203
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
6
2017
Characteristic formulae for timed autoamta. Zbl 0974.68121
Aceto, Luca; Ingólfsdóttir, Anna; Pedersen, Mikkel Lykke; Poulsen, Jan
5
2000
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
On the axiomatisability of priority. Zbl 1141.68042
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2008
On the axiomatizability of priority. Zbl 1134.68038
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2006
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
Characteristic formulae for fixed-point semantics: a general framework. Zbl 1279.68181
Aceto, Luca; Ingolfsdottir, Anna; Levy, Paul Blain; Sack, Joshua
5
2012
An equational axiomatization of observation congruence for prefix iteration. Zbl 0886.03031
Aceto, Luca; Ingólfsdóttir, Anna
4
1996
Equational theories of tropical semirings. Zbl 1021.08002
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
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
Bisimilarity is not finitely based over BPA with interrupt. Zbl 1154.68084
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit
4
2006
Testing Hennessy-Milner logic with recursion. Zbl 0932.03026
Aceto, Luca; Ingólfsdóttir, Anna
3
1999
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
A characterization of finitary bisimulation. Zbl 1337.68177
Aceto, Luca; Ingólfsdóttir, Anna
3
1997
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
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 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
3
2016
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
Axiomatizing weak ready simulation semantics over BCCSP. Zbl 1351.68177
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
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 fully abstract denotational model for observational precongruence. Zbl 0972.68121
Ingólfsdóttir, A.; Schalk, A.
2
2001
2-nested simulation is not finitely equationally axiomatizable. Zbl 0976.68111
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna
2
2001
Late and early semantics coincide for testing. Zbl 0873.68128
Ingólfsdóttir, Anna
2
1995
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
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
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
Resource bisimilarity and graded bisimilarity coincide. Zbl 1260.68251
Aceto, Luca; Ingolfsdottir, Anna; Sack, Joshua
2
2010
Axiomatizing weak simulation semantics over BCCSP. Zbl 1359.68183
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2014
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
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
2012
Verification of the legOS scheduler using Uppaal. Zbl 0970.68035
Halkjaer, Lone; Haervig, Karen; Ingolfsdottir, Anna
1
2000
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
Towards verified lazy implementation of concurrent value-passing languages (abstract). Zbl 0966.68032
Ingólfsdóttir, Anna; Pugliese, Rosario
1
1999
A cancellation theorem for BCCSP. Zbl 1154.68445
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna
1
2008
Transactions on Computational Systems Biology VII. Zbl 1136.92300
Priami, Corrado (ed.); Ingólfsdóttir, Anna (ed.); Mishra, Bud (ed.); Nielson, Hanne Riis (ed.)
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
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2009
Characteristic formulae: from automata to logic. Zbl 1169.68497
Aceto, Luca; Ingolfsdottir, Anna
1
2007
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
SOS rule formats for idempotent terms and idempotent unary operators. Zbl 1302.68181
Aceto, Luca; Goriac, Eugen-Ioan; Ingólfsdóttir, Anna
1
2013
When are prime formulae characteristic? Zbl 1425.68245
Aceto, L.; Della Monica, D.; Fábregas, I.; Ingólfsdóttir, A.
1
2015
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
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2012
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
A theory of communicating processes with value-passing. Zbl 0765.68105
Hennessy, M.; Ingólfsdóttir, A.
1
1990
Monitorability for the Hennessy-Milner logic with recursion. Zbl 1370.68203
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
6
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
3
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
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
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2012
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
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
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
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ří
38
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
Transactions on Computational Systems Biology VII. Zbl 1136.92300
Priami, Corrado; Ingólfsdóttir, Anna; Mishra, Bud; Nielson, Hanne Riis
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
Equational theories of tropical semirings. Zbl 1021.08002
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
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 axioms for probabilistic bisimilarity. Zbl 1275.68099
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
11
2002
A fully equational proof of Parikh’s theorem. Zbl 1024.68070
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2002
A symbolic approach to value-passing processes. Zbl 1027.68092
Ingólfsdóttir, Anna; Lin, Huimin
7
2001
A fully abstract denotational model for observational precongruence. Zbl 0972.68121
Ingólfsdóttir, A.; Schalk, A.
2
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
Characteristic formulae for timed autoamta. Zbl 0974.68121
Aceto, Luca; Ingólfsdóttir, Anna; Pedersen, Mikkel Lykke; Poulsen, Jan
5
2000
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
Verification of the legOS scheduler using Uppaal. Zbl 0970.68035
Halkjaer, Lone; Haervig, Karen; Ingolfsdottir, Anna
1
2000
Testing Hennessy-Milner logic with recursion. Zbl 0932.03026
Aceto, Luca; Ingólfsdóttir, Anna
3
1999
Towards verified lazy implementation of concurrent value-passing languages (abstract). Zbl 0966.68032
Ingólfsdóttir, Anna; Pugliese, Rosario
1
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
A characterization of finitary bisimulation. Zbl 1337.68177
Aceto, Luca; Ingólfsdóttir, Anna
3
1997
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
Late and early semantics coincide for testing. Zbl 0873.68128
Ingólfsdóttir, Anna
2
1995
Characteristic formulae for processes with divergence. Zbl 0804.68097
Steffen, Bernhard; Ingólfsdóttir, Anna
16
1994
A theory of communicating processes with value passing. Zbl 0794.68098
Hennessy, M.; Ingólfsdóttir, A.
20
1993
Communicating processes with value-passing and assignments. Zbl 0784.68055
Hennessy, M.; Ingólfsdóttir, A.
7
1993
A theory of communicating processes with value-passing. Zbl 0765.68105
Hennessy, M.; Ingólfsdóttir, A.
1
1990
all top 5

Cited by 277 Authors

37 Aceto, Luca
35 Ingólfsdóttir, Anna
13 Fokkink, Willem Jan
11 Gregorio-Rodríguez, Carlos
9 de Frutos-Escrig, David
9 Ésik, Zoltán
8 Larsen, Kim Guldstrand
7 Francalanza, Adrian
7 Luttik, Bas
6 Chen, Taolue
6 Fahrenberg, Uli
5 Fu, Yuxi
5 Hennessy, Matthew C. B.
5 Reniers, Michel Adriaan
4 Cao, Yongzhi
4 Cimini, Matteo
4 Deng, Yuxin
4 Fábregas, Ignacio
4 Legay, Axel
4 Lüttgen, Gerald
4 Mardare, Radu
4 Sciavicco, Guido
4 Ulidowski, Irek
3 Bonchi, Filippo
3 De Nicola, Rocco
3 Della Monica, Dario
3 Kucera, Antonin
3 Labella, Anna
3 Palomino, Miguel
3 Ponse, Alban
3 Pugliese, Rosario
3 van Glabbeek, Robert Jan
3 Xue, Bingtian
3 Ying, Mingsheng
2 Achilleos, Antonis
2 Amiraslani, Amirhossein
2 Barbosa, Luís Soares
2 Bartocci, Ezio
2 Bloom, Stephen L.
2 Bonsangue, Marcello Maria
2 Bouyer, Patricia
2 Castiglioni, Valentina
2 Ćirić, Miroslav D.
2 Corradini, Flavio
2 Crvenković, Siniša
2 Damljanović, Nada
2 Dolinka, Igor
2 Feng, Yuan
2 García-Pérez, Álvaro
2 Ghalandarzadeh, Shaban
2 Goriac, Eugen-Ioan
2 Groote, Jan Friso
2 Hennicker, Rolf
2 Ignjatović, Jelena
2 Jamshidvand, Sedighe
2 Laroussinie, François
2 Lavado, Giovanna Janet
2 Levy, Paul Blain
2 Madeira, Alexandre
2 Martins, Manuel António
2 Mendler, Michael
2 Montanari, Angelo
2 Nain, Sumit
2 Nicola, R. D.
2 Olia, Fateme
2 Pan, Haiyu
2 Phillips, Iain W.
2 Pighizzini, Giovanni
2 Rutten, Jan J. M. M.
2 Sack, Joshua
2 Sala, Pietro
2 Sangiorgi, Davide
2 Silva, Alexandra
2 Wang, Hanpin
2 Zhang, Jinjin
2 Zhang, Yan
2 Zhu, Zhaohui
1 Aguado, Joaquin
1 Ahrendt, Wolfgang
1 Anastasiadi, Elli
1 Andova, Suzana
1 Andrade, Wilkerson L.
1 Baeten, Jos C. M.
1 Ballester-Bolinches, Adolfo
1 Bartoletti, Massimo
1 Bašić, Milan
1 Beohar, Harsh
1 Berger, Martin J.
1 Bergstra, Jan A.
1 Bernardo, Marco
1 Bezhanishvili, Nick
1 Bianculli, Domenico
1 Birgisson, Arnar
1 Bisping, Benjamin
1 Björklund, Johanna
1 Bodeveix, Jean-Paul
1 Boiten, Eerke A.
1 Boreale, Michele
1 Bossi, Annalisa
1 Bottoni, Paolo
...and 177 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.