Corresponding author: Manuel Martins ( martins@mat.ua.pt ) Citation:
Martins MA (2006) Behavioral Institutions and Refinements in Generalized Hidden Logics. JUCS - Journal of Universal Computer Science 12(8): 1020-1049. https://doi.org/10.3217/jucs-012-08-1020 |