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 /
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 Sof...
| Corporate Authors: | FOSSACS (Conference) Prague, Czech Republic) |
|---|---|
| Other Authors: | FOSSACS (Conference), Bojańczyk, Mikołaj,, Simpson, Alex,, SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2019.
|
| Physical Description: |
1 online resource (xv, 542 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
11425. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
| LEADER | 06338cam a2200889 i 4500 | ||
|---|---|---|---|
| 001 | 1096283475 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 190410s2019 sz a o 101 0 eng d | ||
| 015 | |a GBB973466 |2 bnb | ||
| 016 | 7 | |a 019361166 |2 Uk | |
| 020 | |a 9783030171278 |q (electronic bk.) | ||
| 020 | |a 3030171272 |q (electronic bk.) | ||
| 020 | |z 9783030171261 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-030-17127-8 |2 doi | |
| 035 | |a (OCoLC)1096283475 | ||
| 037 | |a com.springer.onix.9783030171278 |b Springer Nature | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDX |d UKMGB |d OCLCF |d OCLCO |d DKU |d EBLCP |d OCLCQ |d SRU |d UKAHL |d OCLCQ |d OCLCO |d AAA |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.751 |b .F67 2019eb | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 111 | 2 | |a FOSSACS (Conference) |n (22nd : |d 2019 : |c Prague, Czech Republic) | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures : |b 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 / |c Mikołaj Bojańczyk, Alex Simpson (eds.). |
| 246 | 3 | |a FOSSACS 2019. | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2019. | |
| 300 | |a 1 online resource (xv, 542 pages) : |b illustrations (some color). | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 11425. | |
| 490 | 1 | |a Advanced research in computing and software science. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 506 | 0 | |a Open access. |5 GW5XE. | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed April 10, 2019). | |
| 505 | 0 | 0 | |g 1. |t Universal graphs and good for games automata : new tools for infinite duration games / |r Thomas Colcombet and Nathanaël Fijalkow -- |g 2. |t Resource-tracking concurrent games / |r Aurore Alcolei, Pierre Clairambault, and Olivier Laurent -- |g 3. |t Change actions : models of generalised differentiation / |r Mario Alvarez-Picallo and C.-H. Luke Ong -- |g 4. |t Coalgebra learning via duality / |r Simone Barlocco, Clemens Kupke, and Jurriaan Rot -- |g 5. |t Tight worst-case bounds for polynomial loop programs / |r Amir M. Ben-Amram and Geoff W. Hamilton -- |g 6. |t A complete normal-form bisimilarity for state / |r Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk -- |g 7. |t Identifiers in registers : describing network algorithms with logic / |r Benedikt Bollig, Patricia Bouyer, and Fabian Reiter -- |g 8. |t The impatient may use limited optimism to minimize regret / |r Michaël Cadilhac, Guillermo A. Pérez, and Marie van den Bogaard -- |g 9. |t Causality in linear logic : full completeness and interjectivity (unit-free multiplicative-additive fragment) / |r Simon Castellan and Nobuko Yoshida -- |g 10. |t Rewriting abstract structures : materialization explained categorically / |r Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, and Arend Rensink -- |g 11. |t Two-way Parikh automata with a visibly pushdown stack / |r Luc Dartois, Emmanuel Filiot, and Jean-Marc Talbot -- |g 12. |t Kleene algebra with hypotheses / |r Amina Doumane, Denis Kuperberg, Damien Pous, and Pierre Pradic -- |g 13. |t Trees in partial higher dimensional automata / |r Jérémy Dubut -- |g 14. |t The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains / |r Mnacho Echenim, Radu Iosif, and Nicolas Peltier -- |g 15. |t Continuous reachability for unordered data petri nets is in PTime / |r Utkarsh Gupta, Preey Shah, S. Akshay, and Piotr Hofman. |
| 520 | |a 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. -- |c Provided by publisher. | ||
| 650 | 0 | |a Computer software |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 6 | |a Logiciels |v Congrès. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 7 | |a Computer software. |2 fast. | |
| 650 | 7 | |a Software engineering. |2 fast. | |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a proceedings (reports) |2 aat. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Bojańczyk, Mikołaj, |e editor. | |
| 700 | 1 | |a Simpson, Alex, |e editor. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 711 | 2 | |a ETAPS (Conference) |n (22nd : |d 2019 : |c Prague, Czech Republic) | |
| 830 | 0 | |a Lecture notes in computer science ; |v 11425. | |
| 830 | 0 | |a Lecture notes in computer science. |p Advanced research in computing and software science. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 907 | |a .b59561440 |b multi |c - |d 190528 |e 240321 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Overnight, in 2023.02 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2019.12 | ||
| 948 | |a MARCIVE Overnight 06/2019 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2019.06 | ||
| 995 | 0 | 0 | |a OCLC offline update by CMU and loaded with m2btab.elec in 2019.05 |
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150621310 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-030-17127-8 |3 SpringerLink |z Click here for access | ||