{"_id":"cTyNkwrZDsqsHNM9H","bibbaseid":"sekerinski-teachingconcurrencywiththedisappearingformalmethod-2019","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Teaching Concurrency with the Disappearing Formal Method","volume":"11758","isbn":"978-3-030-32441-4","doi":"10.1007/978-3-030-32441-4_9","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.","booktitle":"Formal Methods Teaching, Third International Workshop and Tutorial","publisher":"Springer","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Dongol"],"firstnames":["Brijesh"],"suffixes":[]},{"propositions":[],"lastnames":["Petre"],"firstnames":["Luigia"],"suffixes":[]},{"propositions":[],"lastnames":["Smith"],"firstnames":["Graeme"],"suffixes":[]}],"month":"October","year":"2019","keywords":"Guarded commands, Non-interference, State diagrams","pages":"135–149","bibtex":"@inproceedings{Sekerinski19DisappearingFormalMethod,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Teaching {Concurrency} with the {Disappearing} {Formal} {Method}},\n\tvolume = {11758},\n\tisbn = {978-3-030-32441-4},\n\tdoi = {10.1007/978-3-030-32441-4_9},\n\tabstract = {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.},\n\tbooktitle = {Formal {Methods} {Teaching}, {Third} {International} {Workshop} and {Tutorial}},\n\tpublisher = {Springer},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Dongol, Brijesh and Petre, Luigia and Smith, Graeme},\n\tmonth = oct,\n\tyear = {2019},\n\tkeywords = {Guarded commands, Non-interference, State diagrams},\n\tpages = {135--149},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Dongol, B.","Petre, L.","Smith, G."],"key":"Sekerinski19DisappearingFormalMethod","id":"Sekerinski19DisappearingFormalMethod","bibbaseid":"sekerinski-teachingconcurrencywiththedisappearingformalmethod-2019","role":"author","urls":{},"keyword":["Guarded commands","Non-interference","State diagrams"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","Nbe8oQSLcMDKvKKWt","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":["guarded commands","non-interference","state diagrams"],"search_terms":["teaching","concurrency","disappearing","formal","method","sekerinski"],"title":"Teaching Concurrency with the Disappearing Formal Method","year":2019,"downloads":1}