Authors: Resende, P

Citation: P. Resende, Quantales, finite observations and strong bisimulation, THEOR COMP, 254(1-2), 2001, pp. 95-149

Authors: Resende, P

Citation: P. Resende, Quantales and observational semantics, FUND THEOR, 111, 2000, pp. 263-288

Authors: Resende, P Almeida, WP Coelho, F

Citation: P. Resende et al., An efficient synthesis of (R)-(-)-baclofen, TETRAHEDR-A, 10(11), 1999, pp. 2113-2118