| 2007 |
|---|
| 5 | EE | Sérgio Marcelino,
Pedro Resende:
An algebraic generalization of Kripke structures
CoRR abs/0704.1886: (2007) |
| 2003 |
|---|
| 4 | EE | David Kruml,
Joan Wick Pelletier,
Pedro Resende,
Jirí Rosický:
On Quantales and Spectra of C*-Algebras.
Applied Categorical Structures 11(6): 543-560 (2003) |
| 3 | EE | Pedro Resende,
Steven Vickers:
Localic sup-lattices and tropological systems.
Theor. Comput. Sci. 305(1-3): 311-346 (2003) |
| 2001 |
|---|
| 2 | EE | Pedro Resende:
Quantales, finite observations and strong bisimulation.
Theor. Comput. Sci. 254(1-2): 95-149 (2001) |
| 1998 |
|---|
| 1 | EE | Pedro Resende:
Modular Specification of Concurrent Systems with Observational Logic.
WADT 1998: 310-325 |
