No. Title Author Year
1 A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Sampaio, Gabriela et al. 2020
2 A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact) Sampaio, Gabriela et al. 2020
3 Data Consistency in Transactional Storage Systems: A Centralised Semantics Xiong, Shale et al. 2020
4 A Program Logic for First-Order Encapsulated WebAssembly Watt, Conrad et al. 2019
5 A Concurrent Specification of POSIX File Systems Ntzik, Gian et al. 2018
6 Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) Birkedal, Lars et al. 2015
7 04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems K├Ânig, Barbara et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI