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

MaRDI QIDQ1604010zbMATH OpenFDO

Authors

Publication date 2 July 2002

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

zbMATH Keywords

WorkshopLecturesMathematicsSummer schoolAlgebraic methodsProgram constructionOxford (GB)Coalgebraic 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)

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
• Operations on fixpoint equation systems
• Generalised rely-guarantee concurrency: an algebraic foundation

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)