Theory of Algebraic Module Specification including Behavioral Semantics and Constraints

Authors:
Hartmut Ehrig;Michael Baldamus;Felix Cornelius;Fernando Orejas
Affiliations:
-;-;-;-
Venue:
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Year:
1991

Citing 0
Cited 3

Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Unifying Petri Nets, Advances in Petri Nets
A theory of mixin modules: basic and derived operators

Mathematical Structures in Computer Science
Categorical foundations of distributed graph transformation

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract