Editorial: Where Theory and Practice Meet Manfred BroyGerald LüttgenMichael Mendler OriginalPaper Pages: 297 - 298
Intensional and Extensional Semantics of Dataflow Programs Simon GayRajagopal Nagarajan OriginalPaper Pages: 299 - 318
Linear Approximation of Execution-Time Constraints Karl LermerColin J. FidgeIan J. Hayes OriginalPaper Pages: 319 - 348
Redesign of a Systems Engineering Language: Formalisation of χ Victor BosJeroen Kleijn OriginalPaper Pages: 370 - 389
A Semantics for Distributed Execution of Statemate Martin FränzleJürgen NiehausWerner Damm OriginalPaper Pages: 390 - 405
Validating the PSL/Sugar Semantics Using Automated Reasoning Michael J. C. Gordon OriginalPaper Pages: 406 - 421