Francesco Parisi-Presicce

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Heterogeneous Unified Algebras.

[BibT_eX]

[DOI]

S. Veglioni

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Interaction between Algebraic Specification Grammars and Modular System Design.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Single vs. Double Pushout Derivations of Graphs.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992

System Design as Derivation via Rewriting.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

Structured Inheritance for Algebraic Class Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1992

High-Level-Replacement Systems for Equational Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

Foundations of Rule-Based Design of Modular Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Parallelism and Concurrency in High-Level Replacement Systems.

[BibT_eX]

[DOI]

Annegret Habel

Hans-Jörg Kreowski

Math. Struct. Comput. Sci., 1991

Towards the Algebraic Specification of Classes in Object Oriented Programming.

[BibT_eX]

Bull. EATCS, 1991

Logic Programming as Hypergraph Rewriting.

[BibT_eX]

[DOI]

Andrea Corradini

Francesca Rossi

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the ESEC '91, 1991

Non-Equivalence of Categories for Equational Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

On the Reusability of Specifications and Implementations.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

[BibT_eX]

[DOI]

Paul Boehm

Catharina Rieckhoff

Christian Dimitrovici

Martin Große-Rhode

Theor. Comput. Sci., 1990

Compatibility Problems in the Development of Algebraic Module Specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

A Rule-Based Approach to Modular System Design.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Software Engineering, 1990

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

From Graph Grammars to High Level Replacement Systems.

[BibT_eX]

[DOI]

Annegret Habel

Hans-Jörg Kreowski

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

A Match Operation for Rule-Based Modular System Design.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Algebraic Specification of Modules and Configuration Families.

[BibT_eX]

J. Inf. Process. Cybern., 1989

Modular System Design Applying Graph Grammars Techniques.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Categories for the Development of Algebraic Module Specifications.

[BibT_eX]

[DOI]

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Product and Iteration of Module Specifications.

[BibT_eX]

[DOI]

Proceedings of the CAAP '88, 1988

1987

Union and Actualization of Module Specifications: Some Compatibility Results.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1987

Algebraic Specification of Modules and Their Basic Interconnections.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1987

Partial Composition and Recursion of Module Specifications.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

[BibT_eX]

[DOI]

Paul Boehm

Catharina Rieckhoff

Christian Dimitrovici

Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Algebraic Theory of Module Specification with Constraints.

[BibT_eX]

[DOI]

Werner Fey

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Graph rewriting with unification and composition.

[BibT_eX]

[DOI]

Ugo Montanari

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Parallelism analysis in rule-based systems using graph grammars.

[BibT_eX]

[DOI]

Dan I. Moldovan

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Inner and Mutual Compatibility of Basic Operations on Module Specifications.

[BibT_eX]

[DOI]

Proceedings of the CAAP '86, 1986

1985

The Semantics of Shared Submodules Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Iterative Factor Algebras and Induced Metrics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

1983

Iterative vs. regular factor algebras.

[BibT_eX]

[DOI]

Irène Guessarian

SIGACT News, 1983

Extensions of Iterative Congruences on Free Iterative Algebras.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1983

Implementation of Data Types by Algebraic Methods.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1983

1981

On the Faithful Regular Extensions of Iterative Algebras

[BibT_eX]

[DOI]