Characterizing Behavioural Semantics and Abstractor Semantics

• Authors:

• Michel Bidoit;Rolf Hennicker;Martin Wirsing

• Affiliations:

• -;-;-

• Venue:
• ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
• Year:
• 1994