Partially Observable Concurrent Kleene Algebra

@inproceedings{Wagemaker2020PartiallyOC,
  title={Partially Observable Concurrent Kleene Algebra},
  author={Jana Wagemaker and Paul Brunet and Simon Docherty and T. Kapp{\'e} and J. Rot and A. Silva},
  booktitle={CONCUR},
  year={2020}
}
  • Jana Wagemaker, Paul Brunet, +3 authors A. Silva
  • Published in CONCUR 2020
  • Computer Science
  • We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with variables as well as control structures, such as conditionals and loops, that depend on those variables. We illustrate the use of POCKA through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency. 2012 ACM Subject Classification… CONTINUE READING

    Tables and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 34 REFERENCES
    The two faces of Hippo: targeting the Hippo pathway for regenerative medicine and cancer treatment
    539
    The Role of Multilateral Institutions in International Trade Cooperation
    328
    The aging neurogenic subventricular zone
    232
    Interannual variation in rainfall, drought stress and seedling mortality may mediate monodominance in tropical flooded forests
    49
    HetNets Powered by Renewable Energy Sources: Sustainable Next-Generation Cellular Networks
    136