Behavioral Extensions of Institutions

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11548133_21 ◽

2005 ◽

pp. 331-347 ◽

Cited By ~ 1

Author(s):

Andrei Popescu ◽

Grigore Roşu