Advertisement

Developments in Concurrent Kleene Algebra

  • Tony Hoare
  • Stephan van Staden
  • Bernhard Möller
  • Georg Struth
  • Jules Villard
  • Huibiao Zhu
  • Peter O’Hearn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8428)

Abstract

This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern programming practice. The research concentrates on the construction of a realistic family of partial order models for Concurrent Kleene Algebra (aka, the Laws of Programming). The main elements of the model are objects and the events in which they engage. Further primitive concepts are traces, errors and failures, and transferrable ownership. In terms of these we can define other concepts which have proved useful in reasoning about concurrent programs, for example causal dependency and independence, sequentiality and concurrency, allocation and disposal, synchrony and asynchrony, sharing and locality, input and output.

Keywords

Sequential Composition Concurrent Program Test Case Generator Denotational Semantic Causal Dependency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Tony Hoare
    • 1
  • Stephan van Staden
    • 2
  • Bernhard Möller
    • 3
  • Georg Struth
    • 4
  • Jules Villard
    • 5
  • Huibiao Zhu
    • 6
  • Peter O’Hearn
    • 7
  1. 1.Microsoft ResearchCambridgeUnited Kingdom
  2. 2.ETH ZurichSwitzerland
  3. 3.Institut für InformatikUniversität AugsburgGermany
  4. 4.Department of Computer ScienceThe University of SheffieldUnited Kingdom
  5. 5.Department of ComputingImperial College LondonUnited Kingdom
  6. 6.Software Engineering InstituteEast China Normal UniversityChina
  7. 7.FacebookUnited Kingdom

Personalised recommendations