×

zbMATH — the first resource for mathematics

Astesiano, Egidio

Compute Distance To:
Author ID: astesiano.egidio Recent zbMATH articles by "Astesiano, Egidio"
Published as: Astesiano, Egidio; Astesiano, E.
Documents Indexed: 51 Publications since 1968, including 6 Books

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 104 times in 85 Documents Cited by Year
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Algebraic foundations of systems specification. Zbl 0973.68002
Astesiano, E. (ed.); Kreowski, H.-J. (ed.); Krieg-Brückner, B. (ed.)
6
1999
Observational structures and their logic. Zbl 0756.68073
Astesiano, Egidio; Giovini, Alessandro; Reggio, Gianna
4
1992
Free objects and equational deduction for partial conditional specifications. Zbl 0872.68114
Astesiano, Egidio; Cerioli, Maura
4
1995
D-oids: A model for dynamic data types. Zbl 0839.68062
Astesiano, Egidio; Zucca, Elena
4
1995
Nondeterminism and fully abstract models. Zbl 0463.03024
Astesiano, Egidio; Costa, Gerardo
4
1980
Labelled transition logic: An outline. Zbl 1025.68056
Astesiano, E.; Reggio, G.
4
2001
SMoLCS-driven concurrent calculi. Zbl 0614.68024
Astesiano, Egidio; Reggio, Gianna
4
1987
On the parameterized algebraic specification of concurrent systems. Zbl 0563.68018
Astesiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M.
4
1985
Formalism and method. Zbl 0938.68056
Astesiano, E.; Reggio, G.
3
2000
On algebraic semantics of polyadic recursive schemas. Zbl 0364.68020
Astesiano, E.; Costa, G.
3
1977
Parametric channels via label expressions in CCS. Zbl 0542.68017
Astesiano, Egidio; Zucca, Elena
3
1984
Algebraic specification of concurrent systems. Zbl 0973.68150
Astesiano, Egidio; Broy, Manfred; Reggio, Gianna
2
1999
An outline of the SMoLCS approach. Zbl 0626.68028
Astesiano, Egidio; Reggio, Gianna
2
1987
Direct semantics of concurrent languages in the SMoLCS approach. Zbl 0629.68016
Astesiano, Egidio; Reggio, Gianna
2
1987
Semantics of distributed processes derived by translation. Zbl 0503.68020
Astesiano, Egidio; Zucca, Elena
2
1981
Towards a rigorous semantics of UML supporting its multiview approach. Zbl 0987.68864
Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
2
2001
Algebraic foundations of systems specification. Zbl 0922.00008
Astesiano, E. (ed.); Kreowski, H.-J. (ed.); Krieg-Brückner, B. (ed.)
2
1999
Partial higher-order specifications. Zbl 0777.68066
Astesiano, Egidio; Cerioli, Maura
1
1991
Multiparadigm specification languages: A first attempt at foundations. Zbl 0812.68088
Astesiano, Egidio; Cerioli, Maura
1
1994
Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304
Astesiano, Egidio (ed.); Reggio, Gianna (ed.); Tarlecki, Andrzej (ed.)
1
1995
A free construction of dynamic terms. Zbl 0846.68024
Astesiano, Egidio; Zucca, Elena
1
1996
Nonstrict and don’t care algebras and specifications. Zbl 0967.68529
Astesiano, Egidio; Cerioli, Maura
1
1991
Operatori parabolici estremanti. Zbl 0159.39301
Astesiano, E.
1
1968
Sharing in nondeterminism. Zbl 0416.68033
Astesiano, Egidio; Costa, Gerardo
1
1979
Reducing types in applicative languages with structured data. Zbl 0492.68025
Astesiano, E.; Costa, G.
1
1981
Generalized bisimulation in relational specification. Zbl 0674.68050
Astesiano, Egidio; Giovini, Alessandro; Reggio, Gianna
1
1988
Plugging data constructs into paradigm-specific languages: Towards an application to UML. Zbl 0983.68524
Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
1
2000
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Labelled transition logic: An outline. Zbl 1025.68056
Astesiano, E.; Reggio, G.
4
2001
Towards a rigorous semantics of UML supporting its multiview approach. Zbl 0987.68864
Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
2
2001
Formalism and method. Zbl 0938.68056
Astesiano, E.; Reggio, G.
3
2000
Plugging data constructs into paradigm-specific languages: Towards an application to UML. Zbl 0983.68524
Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
1
2000
Algebraic foundations of systems specification. Zbl 0973.68002
Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B.
6
1999
Algebraic specification of concurrent systems. Zbl 0973.68150
Astesiano, Egidio; Broy, Manfred; Reggio, Gianna
2
1999
Algebraic foundations of systems specification. Zbl 0922.00008
Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B.
2
1999
A free construction of dynamic terms. Zbl 0846.68024
Astesiano, Egidio; Zucca, Elena
1
1996
Free objects and equational deduction for partial conditional specifications. Zbl 0872.68114
Astesiano, Egidio; Cerioli, Maura
4
1995
D-oids: A model for dynamic data types. Zbl 0839.68062
Astesiano, Egidio; Zucca, Elena
4
1995
Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304
Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
1
1995
Multiparadigm specification languages: A first attempt at foundations. Zbl 0812.68088
Astesiano, Egidio; Cerioli, Maura
1
1994
Observational structures and their logic. Zbl 0756.68073
Astesiano, Egidio; Giovini, Alessandro; Reggio, Gianna
4
1992
Partial higher-order specifications. Zbl 0777.68066
Astesiano, Egidio; Cerioli, Maura
1
1991
Nonstrict and don’t care algebras and specifications. Zbl 0967.68529
Astesiano, Egidio; Cerioli, Maura
1
1991
Generalized bisimulation in relational specification. Zbl 0674.68050
Astesiano, Egidio; Giovini, Alessandro; Reggio, Gianna
1
1988
SMoLCS-driven concurrent calculi. Zbl 0614.68024
Astesiano, Egidio; Reggio, Gianna
4
1987
An outline of the SMoLCS approach. Zbl 0626.68028
Astesiano, Egidio; Reggio, Gianna
2
1987
Direct semantics of concurrent languages in the SMoLCS approach. Zbl 0629.68016
Astesiano, Egidio; Reggio, Gianna
2
1987
On the parameterized algebraic specification of concurrent systems. Zbl 0563.68018
Astesiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M.
4
1985
Parametric channels via label expressions in CCS. Zbl 0542.68017
Astesiano, Egidio; Zucca, Elena
3
1984
Semantics of distributed processes derived by translation. Zbl 0503.68020
Astesiano, Egidio; Zucca, Elena
2
1981
Reducing types in applicative languages with structured data. Zbl 0492.68025
Astesiano, E.; Costa, G.
1
1981
Nondeterminism and fully abstract models. Zbl 0463.03024
Astesiano, Egidio; Costa, Gerardo
4
1980
Sharing in nondeterminism. Zbl 0416.68033
Astesiano, Egidio; Costa, Gerardo
1
1979
On algebraic semantics of polyadic recursive schemas. Zbl 0364.68020
Astesiano, E.; Costa, G.
3
1977
Operatori parabolici estremanti. Zbl 0159.39301
Astesiano, E.
1
1968
all top 5

Cited by 110 Authors

10 Diaconescu, Răzvan
9 Astesiano, Egidio
7 Mossakowski, Till
6 Hennicker, Rolf
5 Reggio, Gianna
4 Bidoit, Michel
4 Costa, Gerardo
4 Gaĭnă, Daniel
4 Mosses, Peter D.
4 Wirsing, Martin
3 Madeira, Alexandre
3 Ogata, Kazuhiro
3 Rabe, Florian
3 Schröder, Lutz
3 Tarlecki, Andrzej
3 Zucca, Elena
2 Barbosa, Luís Soares
2 Cerioli, Maura
2 Choppy, Christine
2 Codescu, Mihai
2 Futatsugi, Kokichi
2 Horozal, Fulya
2 Kohlhase, Michael
2 Krieg-Brückner, Bernd
2 Kutz, Oliver
2 Martí-Oliet, Narciso
2 Martins Moreira, Anamaria
2 Martins, Manuel António
2 Orejas, Fernando
2 Padawitz, Peter
2 Sannella, Donald T.
2 Sojakova, Kristina
1 Aiguier, Marc
1 Arnold, André
1 Autexier, Serge
1 Bahrami, Diane
1 Baldamus, Michael
1 Bauer, Sebastian S.
1 Borzyszkowski, Tomasz
1 Breu, Ruth
1 Campanato, Sergio
1 Clavel, Manuel
1 Confalonieri, Roberto
1 Déharbe, David
1 Durán, Francisco
1 Ehrig, Hartmut
1 Eker, Steven
1 Gavryushkin, Alex
1 Ghomsi Nokam, Sidoine
1 Giovini, Alessandro
1 He, Jifeng
1 Hérilier, Rémi
1 Hoffman, Piotr
1 Huang, Hejiao
1 Hussak, Walter
1 Hutter, Dieter
1 Kirchner, Hélène
1 Klin, Bartek
1 Knapp, Alexander
1 Kramer, Jeff
1 Kreowski, Hans-Jörg
1 Kurz, Alexander
1 Kuske, Sabine
1 Lambers, Leen
1 Lämmel, Ralf
1 Lang, Frédéric
1 Langenstein, Bruno
1 Li, Xiaoshan
1 Lima, Gleydson
1 Lincoln, Patrick D.
1 Liu, Zhiming
1 Long, Huan
1 Lücke, Dominik
1 Lutteroth, Christof
1 Magee, Jeff
1 Meseguer Guaita, José
1 Milner, Robin
1 Montangero, Carlo
1 Navarro, Marisa
1 New, Mark J.
1 Niehren, Joachim
1 Parrow, Joachim
1 Petria, Marius
1 Pino, Elvira
1 Plotkin, Gordon D.
1 Qian, Zhenyu
1 Riecke, Jon G.
1 Riesco, Adrián
1 Ringeissen, Christophe
1 Rink, Martin
1 Rock, Georg
1 Roggenbach, Markus
1 Sabel, David
1 Salaün, Gwen
1 Sandholm, Anders
1 Sangiorgi, Davide
1 Santiago, Regivan H. Nunes
1 Schmidt-Schauß, Manfred
1 Schwinghammer, Jan
1 Siekmann, Jörg H.
...and 10 more Authors

Citations by Year