Patrick A. Meiring

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Process Algebra

Multi Agent Systems

Concurrent Programs

Top Venues

Publications

Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. CoRR (2021)
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
Type Capabilities for Object-Oriented Programming Languages. ICFEM (2018)