Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Book section

Bartoletti, Massimo and Bocchi, Laura and Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany, pp. 1-19. ISBN 978-3-95977-087-3. (doi:10.4230/LIPIcs.CONCUR.2018.40) (KAR id:67556)
[img]
Preview

Bruna, Maria and Grigore, Radu and Kiefer, Stefan and Ouaknine, Joël and Worrell, James (2016) Proving the Herman-Protocol Conjecture. In: Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide, eds. 43rd International Colloquium on Automata, Languages, and Programming. ICALP 2016, Rome, Italy, July 12-15, 2016. Leibniz International Proceedings in Informatics . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken/Wadern, Germany, 104:1-104:12. ISBN 978-3-95977-013-2. (doi:10.4230/LIPIcs.ICALP.2016.104) (KAR id:55083)
[img]
Preview

Conference or workshop item

Torres Lopez, Carmen, Gurdeep Singh, Robbert, Marr, Stefan, Gonzalez Boix, Elisa, Scholliers, Christophe (2019) Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.27) (KAR id:74328)
[img]
Preview

Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Transient Typechecks are (Almost) Free. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.5) (KAR id:74327)
[img]
Preview

This list was generated on Sun May 31 01:58:20 2020 BST.