Publications
Filters: Author is Matías David Lee [Clear All Filters]
, “Bisimilarity of open terms in stream GSOS”, Sci. Comput. Program., vol. 172, pp. 1–26, 2019.
paper-801.pdf (641.75 KB)
paper-801.pdf (641.75 KB), “A Petri Net Based Modeling of Active Objects and Futures”, Fundam. Informaticae, vol. 159, pp. 197–256, 2018. paper-800.pdf (499.42 KB)
paper-800.pdf (499.42 KB), “Bisimilarity of Open Terms in Stream GSOS”, in Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, vol. 10522, Springer, 2017, pp. 35–50. paper-799.pdf (413.24 KB)
paper-799.pdf (413.24 KB), “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, Springer, 2017, pp. 276-294. paper-752.pdf (1.51 MB)
paper-752.pdf (1.51 MB), “A general SOS theory for the specification of probabilistic transition systems”, Inf. Comput., vol. 249, pp. 76–109, 2016. paper-655.pdf (995.37 KB)
paper-655.pdf (995.37 KB), “Input/Output Stochastic Automata - Compositionality and Determinism”, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, Springer, 2016, pp. 53–68. paper-654.pdf (1.49 MB)
paper-654.pdf (1.49 MB), “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, Open Publishing Association, 2015, pp. 79-94. paper-572.pdf (233.09 KB)
paper-572.pdf (233.09 KB), “SOS rule formats for convex and abstract probabilistic bisimulations”, in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015., vol. 190, 2015, pp. 31–45. paper-553.pdf (205.49 KB)
paper-553.pdf (205.49 KB), “Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules”, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014, vol. 8412, pp. 289-303. paper-413.pdf (345.34 KB)
paper-413.pdf (345.34 KB), “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, 2013, vol. 7684, pp. 110-127.
, “Semántica de procesos para sistemas interactivos y sistemas probabilísticos”, Universidad Nacional de Córdoba, Córdoba, 2013. paper-260. (968.3 KB)
paper-260. (968.3 KB), “Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation”, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, vol. 7213, pp. 452-466. paper-123.pdf (269.47 KB)
paper-123.pdf (269.47 KB), “Tree rules in probabilistic transition system specifications with negative and quantitative premises”, in Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012, vol. 89, pp. 115-130. paper-122.pdf (192.61 KB)
paper-122.pdf (192.61 KB), “Semantics for Interactive Sequential Systems and Non-Interference Properties”, CLEI Electron. J., vol. 14, no. 3, 2011. paper-8.pdf (231.62 KB)
paper-8.pdf (231.62 KB), “Describing Secure Interfaces with Interface Automata”, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010. paper-12.pdf (474.34 KB)
paper-12.pdf (474.34 KB), “A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis”, in SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, 2010, pp. 280-289. paper-10.pdf (320.38 KB)
paper-10.pdf (320.38 KB)