On conservative extensions of syntax in system development

Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup

3 Citations (Scopus)

Translated title of the contribution	On conservative extensions of syntax in system development
Original language	English
Journal	Theoretical Computer Science
Volume	90
Issue number	1
Pages (from-to)	209-233
Number of pages	25
ISSN	0304-3975
Publication status	Published - 1991
Externally published	Yes

Cite this

@article{5705f7e593344a2f8c6c144646c04c5b,

title = "On conservative extensions of syntax in system development",

author = "Andrzej Blikle and Andrzej Tarlecki and Mikkel Thorup",

note = "Announced at VDM'90",

year = "1991",

language = "English",

volume = "90",

pages = "209--233",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1",

}