Pedro Resende

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

5 Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)

2003

4 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 Pedro Resende, Steven Vickers: Localic sup-lattices and tropological systems. Theor. Comput. Sci. 305(1-3): 311-346 (2003)

2001

2 Pedro Resende: Quantales, finite observations and strong bisimulation. Theor. Comput. Sci. 254(1-2): 95-149 (2001)

1998

1 Pedro Resende: Modular Specification of Concurrent Systems with Observational Logic. WADT 1998: 310-325

	2007
5		Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)
	2003
4		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		Pedro Resende, Steven Vickers: Localic sup-lattices and tropological systems. Theor. Comput. Sci. 305(1-3): 311-346 (2003)
	2001
2		Pedro Resende: Quantales, finite observations and strong bisimulation. Theor. Comput. Sci. 254(1-2): 95-149 (2001)
	1998
1		Pedro Resende: Modular Specification of Concurrent Systems with Observational Logic. WADT 1998: 310-325

Coauthor Index

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]