Conference
Teaching Concurrency with the Disappearing Formal Method
Abstract
The Gries-Owicki non-interference condition is fundamental to concurrent programming, but difficult to explain as it relies on proof outlines rather than only pre- and postconditions. This paper reports on teaching a practical course on concurrent programming using hierarchical state diagrams to visualize concurrent programs and argue for their correctness, including non-interference.
Authors
Sekerinski E
Series
Lecture Notes in Computer Science
Volume
11758
Pagination
pp. 135-149
Publisher
Springer Nature
Publication Date
2019
DOI
10.1007/978-3-030-32441-4_9
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743