| |
| 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 |
| 1 | David Kruml | [4] |
| 2 | Sérgio Marcelino | [5] |
| 3 | Joan Wick Pelletier | [4] |
| 4 | Jirí Rosický | [4] |
| 5 | Steven J. Vickers (Steven Vickers) | [3] |