Formal Aspects of Computing, Volume 15
Volume 15, Number 1, July 2003
Volume 15, Numbers 2-3, November 2003
- Editorial. 101-102
- Luke Wildman, Colin J. Fidge, David A. Carrington:
The Variety of Variables in Automated Real-Time Refinement. 258-279
Volume 15, Number 4, December 2003
- Simon J. Gay, Rajagopal Nagarajan:
Intensional and Extensional Semantics of Dataflow Programs. 299-318 - Karl Lermer, Colin J. Fidge, Ian J. Hayes:
Linear Approximation of Execution-Time Constraints. 319-348 - Victor Bos, J. J. T. Kleijn:
Redesign of a Systems Engineering Language: Formalisation of X. 370-389 - Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm:
A Semantics for Distributed Execution of Statemate. 390-405