A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- Kristian Støvring,
- Soren B. Lassen
- Alphabet Inc.
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Host publication Subtitle
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th BirthdayOriginal language
EnglishPages from-to (Number of pages)
Pages 329-375Publication milestones
- Published - 2009
Publication status
Published - 2009
Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Series number: 5700
Publication IDs
- Scopus: 70350364564
Host publication title
Semantics and Algebraic SpecificationHost publication editors
- Jens Palsberg
Publication metrics
PlumX, opens in new tab
Captures
10
Citations
12