Antonio Brogi;Evelina Lamma;Paola Mello
-;-;-
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming
Computer Languages