Entities: An Institution for Dynamic Systems

Authors:
Gianna Reggio
Affiliations:
-
Venue:
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Year:
1990

Citing 0
Cited 3

A formal approach to object-oriented software engineering

Theoretical Computer Science - Rewriting logic and its applications
Very abstract specifications: a formalism independent approach

Mathematical Structures in Computer Science
Architectural specifications for reactive systems

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract