×

zbMATH — the first resource for mathematics

Found 1,716 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Nguyen Van, Hai; Balabonski, Thibaut; Boulanger, Frédéric; Keller, Chantal; Valiron, Benoît; Wolff, Burkhart
On the semantics of polychronous polytimed specifications. (English) Zbl 07317088
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 23-40 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{H. Nguyen Van} et al., Lect. Notes Comput. Sci. 12288, 23--40 (2020; Zbl 07317088)
Full Text: DOI
Brodo, Linda; Olarte, Carlos
A constraint-based language for multiparty interactions. (English) Zbl 07313964
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 25-50 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{L. Brodo} and \textit{C. Olarte}, Electron. Notes Theor. Comput. Sci. 351, 25--50 (2020; Zbl 07313964)
Full Text: DOI
Fellner, Andreas; Tarrach, Thorsten; Weissenbacher, Georg
Language inclusion for finite prime event structures. (English) Zbl 07228513
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). Lecture Notes in Computer Science 11990, 314-336 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{A. Fellner} et al., Lect. Notes Comput. Sci. 11990, 314--336 (2020; Zbl 07228513)
Full Text: DOI
Cepeda, Diego; Chowdhury, Sakib; Golab, Wojciech
Tutorial: Specifying, implementing, and verifying algorithms for persistent memory. (English) Zbl 07298723
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 549 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{D. Cepeda} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 549 (2019; Zbl 07298723)
Full Text: DOI
Golab, Wojciech
The recoverable consensus hierarchy. (English) Zbl 07298677
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 212-214 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{W. Golab}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 212--214 (2019; Zbl 07298677)
Full Text: DOI
Rinberg, Arik; Spiegelman, Alexander; Bortnikov, Edward; Hillel, Eshcar; Keidar, Idit; Serviansky, Hadar
Fast concurrent data sketches. (English) Zbl 07298675
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 207-208 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{A. Rinberg} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 207--208 (2019; Zbl 07298675)
Full Text: DOI
Woelfel, Philipp
Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 156 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{P. Woelfel}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019; Zbl 07298669)
Full Text: DOI
Hayes, Ian J.; Meinicke, Larissa A.
Developing an algebra for rely/guarantee concurrency: design decisions and challenges. (English) Zbl 07168639
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 176-197 (2019).
MSC:  68N30
PDF BibTeX XML Cite
\textit{I. J. Hayes} and \textit{L. A. Meinicke}, Lect. Notes Comput. Sci. 11885, 176--197 (2019; Zbl 07168639)
Full Text: DOI
Butterfield, Andrew
The inner and outer algebras of unified concurrency. (English) Zbl 07168638
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 157-175 (2019).
MSC:  68N30
PDF BibTeX XML Cite
\textit{A. Butterfield}, Lect. Notes Comput. Sci. 11885, 157--175 (2019; Zbl 07168638)
Full Text: DOI
Fox, Gereon; Stan, Daniel; Hermanns, Holger
Syntactic partial order compression for probabilistic reachability. (English) Zbl 07157058
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 446-467 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{G. Fox} et al., Lect. Notes Comput. Sci. 11388, 446--467 (2019; Zbl 07157058)
Full Text: DOI
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe
Taming concurrency for verification using multiparty session types. (English) Zbl 07142677
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 196-215 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{K. Peters} et al., Lect. Notes Comput. Sci. 11884, 196--215 (2019; Zbl 07142677)
Full Text: DOI
Frumin, Dan; Krebbers, Robbert; Birkedal, Lars
ReLoC: a mechanised relational logic for fine-grained concurrency. (English) Zbl 07298769
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 442-451 (2018).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
\textit{D. Frumin} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 442--451 (2018; Zbl 07298769)
Full Text: DOI
Zhou, Tingzhe; Luchangco, Victor; Spear, Michael
Extending transactional memory with atomic deferral. (English) Zbl 07226017
Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-061-3). LIPIcs – Leibniz International Proceedings in Informatics 95, Article 7, 17 p. (2018).
MSC:  68M14 68M20
PDF BibTeX XML Cite
\textit{T. Zhou} et al., LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 7, 17 p. (2018; Zbl 07226017)
Full Text: DOI
Aguilera, Marcos K.; David, Tudor; Guerraoui, Rachid; Wang, Junxiong
Locking timestamps versus locking objects. (English) Zbl 1428.68054
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 367-376 (2018).
MSC:  68M14
PDF BibTeX XML Cite
\textit{M. K. Aguilera} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 367--376 (2018; Zbl 1428.68054)
Full Text: DOI
Attiya, Hagit; Castañeda, Armando; Hendler, Danny; Perrin, Matthieu
Separating lock-freedom from wait-freedom. (English) Zbl 1428.68056
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 41-50 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{H. Attiya} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 41--50 (2018; Zbl 1428.68056)
Full Text: DOI
Golab, Wojciech; Hendler, Danny
Recoverable mutual exclusion under system-wide failures. (English) Zbl 1428.68070
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018).
MSC:  68M14 68M15 68P05 68W15
PDF BibTeX XML Cite
\textit{W. Golab} and \textit{D. Hendler}, in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 17--26 (2018; Zbl 1428.68070)
Full Text: DOI
Attiya, Hagit; Ben-Baruch, Ohad; Hendler, Danny
Nesting-safe recoverable linearizability: modular constructions for non-volatile memory. (English) Zbl 1428.68055
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 7-16 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
\textit{H. Attiya} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 7--16 (2018; Zbl 1428.68055)
Full Text: DOI
Aguado, Joaquín; Mendler, Michael; Pouzet, Marc; Roop, Partha; von Hanxleden, Reinhard
Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 86-113 (2018).
MSC:  68N30 68Q55 68Q85
PDF BibTeX XML Cite
\textit{J. Aguado} et al., Lect. Notes Comput. Sci. 10801, 86--113 (2018; Zbl 1418.68047)
Full Text: DOI
Hague, Matthew; Penelle, Vincent
Constrained dynamic tree networks. (English) Zbl 06963049
Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00249-7/pbk; 978-3-030-00250-3/ebook). Lecture Notes in Computer Science 11123, 45-58 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Hague} and \textit{V. Penelle}, Lect. Notes Comput. Sci. 11123, 45--58 (2018; Zbl 06963049)
Full Text: DOI
Raynal, Michel; Cao, Jiannong
A pleasant stroll through the land of distributed machines, computation, and universality. (English) Zbl 06894481
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92401-4/pbk; 978-3-319-92402-1/ebook). Lecture Notes in Computer Science 10881, 34-50 (2018).
MSC:  68M14
PDF BibTeX XML Cite
\textit{M. Raynal} and \textit{J. Cao}, Lect. Notes Comput. Sci. 10881, 34--50 (2018; Zbl 06894481)
Full Text: DOI
Chini, Peter; Kolberg, Jonathan; Krebs, Andreas; Meyer, Roland; Saivasan, Prakash
On the complexity of bounded context switching. (English) Zbl 1442.68073
Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 27, 15 p. (2017).
MSC:  68Q27 68Q17 68Q60 68Q85
PDF BibTeX XML Cite
\textit{P. Chini} et al., LIPIcs -- Leibniz Int. Proc. Inform. 87, Article 27, 15 p. (2017; Zbl 1442.68073)
Full Text: DOI
Murawski, Andrzej S.; Tzevelekos, Nikos
Higher-order linearisability. (English) Zbl 1442.68148
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 34, 18 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{A. S. Murawski} and \textit{N. Tzevelekos}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 34, 18 p. (2017; Zbl 1442.68148)
Full Text: DOI
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
\textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017; Zbl 1442.68145)
Full Text: DOI
Chatain, Thomas; Paulevé, Loïc
Goal-driven unfolding of Petri nets. (English) Zbl 1442.68132
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 18, 16 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{T. Chatain} and \textit{L. Paulevé}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 18, 16 p. (2017; Zbl 1442.68132)
Full Text: DOI
Bouajjani, Ahmed; Enea, Constantin; Wang, Chao
Checking linearizability of concurrent priority queues. (English) Zbl 1442.68126
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017).
MSC:  68Q85 68Q60 68Q65
PDF BibTeX XML Cite
\textit{A. Bouajjani} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017; Zbl 1442.68126)
Full Text: DOI
Eberhart, Clovis; Hirschowitz, Tom
Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics. (English) Zbl 1433.68250
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 10, 16 p. (2017).
MSC:  68Q85 68Q55 18F10 18F20 91A80
PDF BibTeX XML Cite
\textit{C. Eberhart} and \textit{T. Hirschowitz}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 10, 16 p. (2017; Zbl 1433.68250)
Full Text: DOI
Gafni, Eli; He, Yuan; Kuznetsov, Petr; Rieutord, Thibault
Read-write memory and \(k\)-set consensus as an affine task. (English) Zbl 1432.68028
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 6, 17 p. (2017).
MSC:  68M14 05E45
PDF BibTeX XML Cite
\textit{E. Gafni} et al., LIPIcs -- Leibniz Int. Proc. Inform. 70, Article 6, 17~p. (2017; Zbl 1432.68028)
Full Text: DOI
Miné, Antoine
Static analysis of embedded real-time concurrent software with dynamic priorities. (English) Zbl 1412.68042
Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 3-39 (2017).
MSC:  68N30 68Q55 68Q60 68Q85
PDF BibTeX XML Cite
\textit{A. Miné}, Electron. Notes Theor. Comput. Sci. 331, 3--39 (2017; Zbl 1412.68042)
Full Text: DOI
Meshulam, Roy; Raussen, Martin
Homology of spaces of directed paths in Euclidean pattern spaces. (English) Zbl 1384.55011
Loebl, Martin (ed.) et al., A journey through discrete mathematics. A tribute to Jiří Matoušek. Cham: Springer (ISBN 978-3-319-44478-9/hbk; 978-3-319-44479-6/ebook). 593-614 (2017).
Reviewer: Philippe Gaucher (Paris)
MSC:  55P99
PDF BibTeX XML Cite
\textit{R. Meshulam} and \textit{M. Raussen}, in: A journey through discrete mathematics. A tribute to Jiří Matoušek. Cham: Springer. 593--614 (2017; Zbl 1384.55011)
Full Text: DOI arXiv
Liu, Xinxin; Yu, Tingting; Zhang, Wenhui
Analyzing divergence in bisimulation semantics. (English) Zbl 1380.68299
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 735-747 (2017).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
\textit{X. Liu} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 735--747 (2017; Zbl 1380.68299)
Full Text: DOI
Kumar, Ananya; Blelloch, Guy E.; Harper, Robert
Parallel functional arrays. (English) Zbl 1380.68095
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 706-718 (2017).
MSC:  68N18
PDF BibTeX XML Cite
\textit{A. Kumar} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 706--718 (2017; Zbl 1380.68095)
Full Text: DOI
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
Thread modularity at many levels: a pearl in compositional verification. (English) Zbl 1380.68274
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 473-485 (2017).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
\textit{J. Hoenicke} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 473--485 (2017; Zbl 1380.68274)
Full Text: DOI
Lidbury, Christopher; Donaldson, Alastair F.
Dynamic race detection for C++11. (English) Zbl 1380.68130
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 443-457 (2017).
MSC:  68N30 68N15
PDF BibTeX XML Cite
\textit{C. Lidbury} and \textit{A. F. Donaldson}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 443--457 (2017; Zbl 1380.68130)
Full Text: DOI
Krebbers, Robbert; Timany, Amin; Birkedal, Lars
Interactive proofs in higher-order concurrent separation logic. (English) Zbl 1380.68341
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 205-217 (2017).
MSC:  68T15 03B70 68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{R. Krebbers} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 205--217 (2017; Zbl 1380.68341)
Full Text: DOI
Wickerson, John; Batty, Mark; Sorensen, Tyler; Constantinides, George A.
Automatically comparing memory consistency models. (English) Zbl 1380.68110
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 190-204 (2017).
MSC:  68N20 68N15 68N19 68Q60
PDF BibTeX XML Cite
\textit{J. Wickerson} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 190--204 (2017; Zbl 1380.68110)
Full Text: DOI
Alglave, Jade; Cousot, Patrick
Ogre and Pythia: an invariance proof method for weak consistency models. (English) Zbl 1380.68101
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 3-18 (2017).
MSC:  68N19 68N30
PDF BibTeX XML Cite
\textit{J. Alglave} and \textit{P. Cousot}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 3--18 (2017; Zbl 1380.68101)
Full Text: DOI
Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric
Brief announcement: Proust: a design space for highly-concurrent transactional data structures. (English) Zbl 1380.68141
Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 251-253 (2017).
MSC:  68P05
PDF BibTeX XML Cite
\textit{T. Dickerson} et al., in: Proceedings of the 36th ACM symposium on principles of distributed computing, PODC '17, Washington, DC, USA, July 25--27, 2017. New York, NY: Association for Computing Machinery (ACM). 251--253 (2017; Zbl 1380.68141)
Full Text: DOI
Golab, Wojciech; Hendler, Danny
Recoverable mutual exclusion in sub-logarithmic time. (English) Zbl 1380.68051
Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 211-220 (2017).
MSC:  68M14 68M15 68P05 68Q25 68W15
PDF BibTeX XML Cite
\textit{W. Golab} and \textit{D. Hendler}, in: Proceedings of the 36th ACM symposium on principles of distributed computing, PODC '17, Washington, DC, USA, July 25--27, 2017. New York, NY: Association for Computing Machinery (ACM). 211--220 (2017; Zbl 1380.68051)
Full Text: DOI
Crooks, Natacha; Pu, Youer; Alvisi, Lorenzo; Clement, Allen
Seeing is believing: a client-centric specification of database isolation. (English) Zbl 1380.68043
Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 73-82 (2017).
MSC:  68M14 68P15 68P20
PDF BibTeX XML Cite
\textit{N. Crooks} et al., in: Proceedings of the 36th ACM symposium on principles of distributed computing, PODC '17, Washington, DC, USA, July 25--27, 2017. New York, NY: Association for Computing Machinery (ACM). 73--82 (2017; Zbl 1380.68043)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software