Publications

Export 9 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [Show ALL]
L
M. D. Lee, “Semánticas de procesos para sistemas interactivos y sistemas probabilísticos”, 2013.
M. D. Lee and E. P. de Vink, “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015., 2015.
M. D. Lee and E. P. de Vink, “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in {\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm London, UK, 11th-12th April 2015}, vol. 194, N. Bertrand and M. Tribastone, Eds. 2015, p. 79-94.
M. D. Lee, D. Gebler, and P. R. D'Argenio, “Tree rules in probabilistic transition system specifications with negative and quantitative premises”, Electronic Proceedings in Theoretical Computer Science, vol. 89, p. 115 - 130, 2012.
A. Legay, S. Sedwards, and L. - M. Traonouez, “Scalable Verification of Markov Decision Processes”, in 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Grenoble, 2014.PDF icon FMDS2014.pdf (175.6 KB)
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics”, in Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012.
C. G. López Pombo, P. Chocron, I. Vissani, and T. S. E. Maibaum, “A canonical proof-theoretic approach to model theory”, 2013.PDF icon abstract.pdf (166.59 KB)
C. G. López Pombo and T. S. E. Maibaum, “Concrete models for modal logics via proof theory”. 2014.
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting”, in Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014.PDF icon compodesign-main.pdf (413 KB)