Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference FOSSACS (Conference) (22nd : 2019 : Prague, Czech Republic)
Title Foundations of software science and computation structures : 22nd International Conference, FOSSACS 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 / Mikoaj Bojanczyk, Alex Simpson (eds.).
Imprint Cham, Switzerland : Springer, 2019.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference FOSSACS (Conference) (22nd : 2019 : Prague, Czech Republic)
Series Lecture notes in computer science ; 11425.
Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 11425.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject Computer software -- Congresses.
Software engineering -- Congresses.
Alt Name Bojanczyk, Mikoaj,
Simpson, Alex,
ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
Add Title FOSSACS 2019
Description 1 online resource (xv, 542 pages) : illustrations (some color).
polychrome rdacc
Access Open access.
Note International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed April 10, 2019).
Contents 1. Universal graphs and good for games automata : new tools for infinite duration games / Thomas Colcombet and Nathanael Fijalkow -- 2. Resource-tracking concurrent games / Aurore Alcolei, Pierre Clairambault, and Olivier Laurent -- 3. Change actions : models of generalised differentiation / Mario Alvarez-Picallo and C.-H. Luke Ong -- 4. Coalgebra learning via duality / Simone Barlocco, Clemens Kupke, and Jurriaan Rot -- 5. Tight worst-case bounds for polynomial loop programs / Amir M. Ben-Amram and Geoff W. Hamilton -- 6. A complete normal-form bisimilarity for state / Dariusz Biernacki, Serguei Lenglet, and Piotr Polesiuk -- 7. Identifiers in registers : describing network algorithms with logic / Benedikt Bollig, Patricia Bouyer, and Fabian Reiter -- 8. The impatient may use limited optimism to minimize regret / Michael Cadilhac, Guillermo A. Perez, and Marie van den Bogaard -- 9. Causality in linear logic : full completeness and interjectivity (unit-free multiplicative-additive fragment) / Simon Castellan and Nobuko Yoshida -- 10. Rewriting abstract structures : materialization explained categorically / Andrea Corradini, Tobias Heindel, Barbara Konig, Dennis Nolte, and Arend Rensink -- 11. Two-way Parikh automata with a visibly pushdown stack / Luc Dartois, Emmanuel Filiot, and Jean-Marc Talbot -- 12. Kleene algebra with hypotheses / Amina Doumane, Denis Kuperberg, Damien Pous, and Pierre Pradic -- 13. Trees in partial higher dimensional automata / Jeremy Dubut -- 14. The Bernays-Schonfinkel-Ramsey class of separation logic on arbitrary domains / Mnacho Echenim, Radu Iosif, and Nicolas Peltier -- 15. Continuous reachability for unordered data petri nets is in PTime / Utkarsh Gupta, Preey Shah, S. Akshay, and Piotr Hofman
Summary This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. -- Provided by publisher.
ISBN 9783030171278 (electronic bk.)
3030171272 (electronic bk.)
9783030171261 (print)
ISBN/ISSN 10.1007/978-3-030-17127-8
OCLC # 1096283475


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team