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

zbMath0989.00050MaRDI QIDQ1604010

No author found.

Publication date: 2 July 2002

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

zbMATH Keywords

WorkshopMathematicsSummer schoolAlgebraic methodsLecturesOxford (GB)Program constructionCoalgebraic methods

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)

Related Items (2)

Generalised rely-guarantee concurrency: an algebraic foundation ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra

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