Program. construction. International summer school

MaRDI QIDQ1253244zbMATH OpenFDO

Authors

Publication date 1979

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Summer schoolProgram constructionMarktoberdorf/DeutschlandProgram Construction

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99) Conference proceedings and collections of articles (00Bxx)

Cited in

(5)

• A theory for nondeterminism, parallelism, communication, and concurrency
• The Schorr-Waite marking algorithm revisited
• Efficient computation of terms of linear recurrence sequences of any order
• Transformational semantics for concurrent programs
• How powerful are folding/unfolding transformations?

This page was built for publication: Program. construction. International summer school

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1253244)