Toulouse, France, Volume 2
Foundations of System Specification (IFIP WG 1.3)
European Theory and Practice of Software (ETAPS)
Integration of Notation and Techniques
Formal Description of Programming Concepts (IFIP WG 2.2)
H. B. M. Jonkers
: Communication and Synchronisation Using Interaction Objects.
, Mazen Samaan
: Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST)
, Dan Ionescu
: Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL.