stefanscottalexx documents

Jose Meseguer's paper "Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming"
Documents Jose Meseguer's paper "Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming"
openerp-book-v6-1
Documents openerp-book-v6-1
UrWeb Manual
Documents UrWeb Manual
20 Years of Progress using Maude
Documents 20 Years of Progress using Maude
manual 20141206
Documents manual 20141206
SDE-notes
Documents SDE-notes