A Formal Model of Metacontrol in Maude.

Juliane Pler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernndez Corbato, Einar Broch Johnsen

Browse the full ISoLA paper archive.