 | 2008 |
|---|
| 4 |       | Manuel A. Martins:
On the Behavioral Equivalence Between k-data Structures.
Comput. J. 51(2): 181-191 (2008) |
| 2007 |
|---|
| 3 | | Manuel A. Martins,
Don Pigozzi:
Behavioural reasoning for conditional equations.
Mathematical Structures in Computer Science 17(5): 1075-1113 (2007) |
| 2 | | Manuel A. Martins:
Closure properties for the class of behavioral models.
Theor. Comput. Sci. 379(1-2): 53-83 (2007) |
| 2006 |
|---|
| 1 | | Manuel A. Martins:
Behavioral Institutions and Refinements in Generalized Hidden Logics.
J. UCS 12(8): 1020-1049 (2006) |
