Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings > A Process Algebra for Link Layer Protocols
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings |
Luís Caires
Springer International Publishing
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
A Process Algebra for Link Layer Protocols
Authors

Rob van Glabbeek; Peter Höfner; Michael Markl

ARI Id

1665177880212_5175306

Access

Open/Free Access

Pages

668-693

DOI

10.1007/978-3-030-17184-1_24

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_24?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-17184-1_24

Table of Contents of Book
Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xv
Front Matter
1-1
Time Credits and Time Receipts in Iris
Glen Mével; Jacques-Henri Jourdan; François Pottier
3-29
Meta-F \(^\star \): Proof Automation with SMT, Tactics, and Metaprograms
Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Cătălin Hriţcu et al.
30-59
Semi-automated Reasoning About Non-determinism in C Expressions
Dan Frumin; Léon Gondelman; Robbert Krebbers
60-87
Safe Deferred Memory Reclamation with Types
Ismail Kuru; Colin S. Gordon
88-116
Front Matter
117-117
Codata in Action
Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones
119-146
Composing Bidirectional Programs Monadically
Li-yao Xia; Dominic Orchard; Meng Wang
147-175
Counters in Kappa: Semantics, Simulation, and Static Analysis
Pierre Boutillier; Ioana Cristescu; Jérôme Feret
176-204
One Step at a Time
Ferdinand Vesely; Kathleen Fisher
205-231
Front Matter
233-233
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
Dylan McDermott; Alan Mycroft
235-262
Effectful Normal Form Bisimulation
Ugo Dal Lago; Francesco Gavazzo
263-292
On the Multi-Language Construction
Samuele Buro; Isabella Mastroeni
293-321
Probabilistic Programming Inference via Intensional Semantics
Simon Castellan; Hugo Paquet
322-349
Front Matter
351-351
Handling Polymorphic Algebraic Effects
Taro Sekiyama; Atsushi Igarashi
353-380
Distributive Disjoint Polymorphism for Compositional Programming
Xuan Bi; Ningning Xie; Bruno C. d. S. Oliveira; Tom Schrijvers
381-409
Types by Need
Beniamino Accattoli; Giulio Guerrieri; Maico Leberle
410-439
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings