×

Found 6 Documents (Results 1–6)

Transient memory in gene regulation. (English) Zbl 1422.92044

Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 155-187 (2019).
MSC:  92C40
PDFBibTeX XMLCite
Full Text: DOI

Local linearizability for concurrent container-type data structures. (English) Zbl 1392.68152

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 6, 15 p. (2016).
MSC:  68P05 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Quantitative relaxation of concurrent data structures. (English) Zbl 1301.68176

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 317-328 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

Aspect-oriented linearizability proofs. (English) Zbl 1390.68213

D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 242-256 (2013).
MSC:  68P05 68Q85 68W10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field