IFIP Working Group 2.2
Beijing Seminar
28 September - 4 October 1996.

Local organizer: Prof. Yuan ChongYi (Department of Computer Science and Technology, Peking University) --- MANY THANKS!

The lecturers gave 20 lectures to about 40 MSc and PhD students and teachers/researchers in the area of computer science. The list of the lectures with links to their abstracts (and to the data on lecturers) follows.

• Egidio Astesiano
  Integrating Data and Process Specifications
• Jaco de Bakker
  Semantics for 27 Languages
  
  Linear Semantics for a Schematic Parallel Language
  
  Linear Semantics for a Shared-Variable Parallel Language

  Egon Boerger
  Formal Specification and Verification of Pipelining in RISC Architectures

  He Jifeng
  Deriving Handshake Modules for a Multi-Target Hardware Compiler

  Lesli Lamport
  The Formal Specification of Computer Systems with TLA+

  Ordinary Mathematics
  

  Reactive Systems

  Jay Strother Moore
  A Mechanically Checked Proof of the AMD5K86 Floating Point Division Algorithm

  Peter David Mosses
  CoFI: The Common Framework Initiative for Algebraic Specification and Software Development
  Theory and Practice of Action Semantics

  Madhavan Mukund
  Automated verification in a temporal logic framework

  Ernst-Ruediger Olderog
  Design of Real-Time Systems

  Paritosh K. Pandya
  Proving Compiling Correctness using Refinement Algebra

  Amir Pnueli
  Verification of a Fully Expressive Temporal Logic - Algorithmic methods
  Deductive Verification of the Full Logic

  Willem-Paul de Roever
  Survey of Simulation and Data Refinement Techniques
  Compositionality in Real-time Shared Variable Concurrency

  Andrzej Tarlecki
  Institutions: an abstract framework for formal specifications
  Formal development of modular software systems in Extended ML

  Zhou Chaochen
  An Introduction to Duration Calculus