Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures

DOI10.1007/3-540-47797-7MaRDI QIDQ1604010zbMATH OpenFDO

Authors

Publication date 2 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-47797-7

zbMATH Keywords

Algebraic methodsCoalgebraic methodsLecturesMathematicsOxford (GB)Program constructionSummer schoolWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Review text

The articles of this volume will be reviewed individually. Indexed articles: \textit{Crole, Roy}, Chapter 1. Introduction, 1-19 [Zbl 1065.68513] \textit{Priestley, Hilary A.}, Chapter 2. Ordered sets and complete lattices. A primer for computer science, 21-78 [Zbl 1065.68036] \textit{Aczel, Peter}, Chapter 3. Algebras and coalgebras, 79-88 [Zbl 1065.68512] \textit{Backhouse, Roland}, Chapter 4. Galois connections and fixed point calculus, 89-148 [Zbl 1065.68030] \textit{Gibbons, Jeremy}, Chapter 5. Calculating functional programs, 149-201 [Zbl 1065.68034] \textit{Doornbos, Henk; Backhouse, Roland}, Chapter 6. Algebra of program termination, 203-235 [Zbl 1065.68033] \textit{Jacobs, Bart}, Chapter 7. Exercises in coalgebraic specification, 237-280 [Zbl 1065.68035] \textit{Bird, Richard; Gibbons, Jeremy; Mu, Shin-Cheng}, Chapter 8. Algebraic methods for optimization problems, 281-308 [Zbl 1065.68031] \textit{von Karger, Burghard}, Chapter 9. Temporal algebra, 309-385 [Zbl 1065.68515]

Recommendations

• Preface to Special Issue: Coalgebraic methods in computer science
• Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000
• Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
• CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000
• Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings
• Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5--6, 2014. Revised selected papers
• CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
• Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)
• Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings
• Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25--27, 2006

Cited in

(3)

• On the relation between concurrent separation logic and concurrent Kleene algebra
• Generalised rely-guarantee concurrency: an algebraic foundation
• Operations on fixpoint equation systems

This page was built for publication: Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1604010)