A Complete, Co-inductive Syntactic Theory of Sequential Control and State

Kristian Støvring; Soren B. Lassen

doi:10.1007/978-3-642-04164-8_17

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 › Research

Original language	English
Title of host publication	Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Editors	Jens Palsberg
Publisher	Springer
Publication date	2009
Pages	329-375
DOIs	https://doi.org/10.1007/978-3-642-04164-8_17
Publication status	Published - 2009

Series	Lecture Notes in Computer Science
Number	5700

Access to Document

10.1007/978-3-642-04164-8_17

Cite this

@inbook{d6d55740e50011dea523000ea68e967b,

title = "A Complete, Co-inductive Syntactic Theory of Sequential Control and State",

author = "Kristian St{\o}vring and Lassen, \{Soren B.\}",

year = "2009",

doi = "10.1007/978-3-642-04164-8\_17",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5700",

pages = "329--375",

editor = "Jens Palsberg",

booktitle = "Semantics and Algebraic Specification",

address = "Germany",

}

A Complete, Co-inductive Syntactic Theory of Sequential Control and State. / Støvring, Kristian; Lassen, Soren B.
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. ed. / Jens Palsberg. Springer, 2009. p. 329-375 (Lecture Notes in Computer Science; No. 5700).

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research

TY - CHAP

T1 - A Complete, Co-inductive Syntactic Theory of Sequential Control and State

AU - Støvring, Kristian

AU - Lassen, Soren B.

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04164-8_17

DO - 10.1007/978-3-642-04164-8_17

M3 - Book chapter

T3 - Lecture Notes in Computer Science

SP - 329

EP - 375

BT - Semantics and Algebraic Specification

A2 - Palsberg, Jens

PB - Springer

ER -