Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

W.P. Roever, de, H. Barringer, C. Courcoubetis, D.M. Gabbay, R.T. Gerth, B. Jonsson, A. Pnueli, M. Reed, J. Sifakis, J. Vytopil, P. Wolper

Research output: Contribution to journalArticleProfessional

Abstract

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven University of Technology, and the participating Institutions are the Institute of Computer Science of Crete. the Swedish Institute of Computer Science, the Programmimg Research Group of the University of Oxford, and the Computer Science Departments of the University of Manchester, Imperial College. Weizmann Institute of Science, Eindhoven University of Technology, IMAG Grenoble. Catholic University of Nijmegen, and the University of Liege. This document contains the synopsis. and part of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June, 198S. The section on the state of the art (18 pages) and the full list of references (21 pages) of the original proposal have been deleted because of limitation of available space.
Original languageEnglish
Pages (from-to)117-133
JournalBulletin of the European Association for Theoretical Computer Science, EATCS
Volume40
Issue numberFebruary
Publication statusPublished - 1990

Fingerprint Dive into the research topics of 'Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)'. Together they form a unique fingerprint.

Cite this