Compositional Transformational Design for Concurrent Programs

Jakob Zwiers

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Compositionality: The Significant Difference. Lecture Notes in Computer Science 1536
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	609-631
ISBN (Print)	3-540-65493-3
Publication status	Published - 1999

Keywords

@inbook{ddb1ac8611a346cb83df2c7026f4f79f,

title = "Compositional Transformational Design for Concurrent Programs",

keywords = "METIS-118934",

author = "Jakob Zwiers",

year = "1999",

language = "Undefined",

isbn = "3-540-65493-3",

pages = "609--631",

booktitle = "Compositionality: The Significant Difference. Lecture Notes in Computer Science 1536",

publisher = "Springer",

address = "Germany",

}