Generalised rely-guarantee concurrency: an algebraic foundation

The rely-guarantee technique allows one to reason compositionally about concurrent programs. To handle interference the technique makes use of rely and guarantee conditions, both of which are binary relations on states. A rely condition is an assumption that the environment performs only atomic step...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal aspects of computing 2016-11, Vol.28 (6), p.1057-1078
1. Verfasser:	Hayes, Ian J.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Computation Computer Science Concurrency Foundations Handles Interference Math Applications in Computer Science Operators Original Article Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!