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

zbMATH Open0989.00050MaRDI QIDQ1604010FDOQ1604010

Authors:

Publication date: 2 July 2002

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

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

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)

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)