Related Books
Language: en
Pages: 564
Pages: 564
Type: BOOK - Published: 1996-01 - Publisher: MIT Press (MA)
Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logi
Language: en
Pages: 353
Pages: 353
Type: BOOK - Published: 2016-01-07 - Publisher: Springer
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
Language: en
Pages: 466
Pages: 466
Type: BOOK - Published: 1992 - Publisher: World Scientific
This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundationa
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 1996-04-01 - Publisher: MIT Press
Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logi
Language: en
Pages: 384
Pages: 384
Type: BOOK - Published: 2021-10-13 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gol
