Papers:
M. Mac an Airchinnigh Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems http://dx.doi.org/10.14236/ewic/FA1996.1
H. Barringer, D. Fellows, G. Gough, P. Jinks & A. Williams A Formally Based Framework for Supporting Design and Analysis of Asynchronous Hardware Systems http://dx.doi.org/10.14236/ewic/FA1996.2
P.J. Brooke, J.L. Jacob & J.M. Armstrong Analysis of the Four-slot Mechanism http://dx.doi.org/10.14236/ewic/FA1996.3
J.M. Bruel, R.B. France, M.M. Larrondo-Petrie, B. Chintapally & G.K. Raghavan CASE-based Rigorous Object-Oriented Modeling http://dx.doi.org/10.14236/ewic/FA1996.4
K. Chan & C. Fencott Formal Analysis of Concurrent Real-Time Requirements Models http://dx.doi.org/10.14236/ewic/FA1996.5
J. Draper & H. Treharne The Refinement of Embedded Software with the B-Method http://dx.doi.org/10.14236/ewic/FA1996.6
A.S. Evans, D.R.W. Holton, L.M. Lai & P. Watson A Comparison of Formal Real-Time Specification Languages http://dx.doi.org/10.14236/ewic/FA1996.7
M. Fisher & M. Wooldridge Towards Formal Methods for Agent-Based Systems http://dx.doi.org/10.14236/ewic/FA1996.8
I.J. Hayes & M. Utting Coercing Real-Time Refinement: A Transmitter http://dx.doi.org/10.14236/ewic/FA1996.9
C. Kirkwood & M. Thomas Towards a Symbolic Modal Logic for LOTOS http://dx.doi.org/10.14236/ewic/FA1996.10
K. Lano, J.C. Bicarregui & S. Goldsack Formalising Design Patterns http://dx.doi.org/10.14236/ewic/FA1996.11
K.K. Lau, C. Moss & M. Ornaghi Formal Development of Correct Classes in Computational Logic http://dx.doi.org/10.14236/ewic/FA1996.12
R. Leman The Role of Modelling in Learning Formal Specification http://dx.doi.org/10.14236/ewic/FA1996.13
T.L. McCluskey, J.M. Porteous, M.M. West & C.H. Bryant The Validation of Formal Specifications of Requirements http://dx.doi.org/10.14236/ewic/FA1996.14
C. Pahl A Model for Dynamic State-Based Systems http://dx.doi.org/10.14236/ewic/FA1996.15
R.F. Lutje Spelberg & W.J. Toetenel Transformation of MTCCS into an Extension of Timed Automata http://dx.doi.org/10.14236/ewic/FA1996.16
C. Tofts, Y. Liu & G. Birtwistle State Space Reduction for Asynchronous Micropipelines http://dx.doi.org/10.14236/ewic/FA1996.17