Selected documents from the ProCoS FTP archive
from the
Semantics Unit at the
Informatics Department (Computer Science),
Oldenburg University, Germany,
led by
Prof. Dr. Ernst-Rüdiger Olderog.
at Oldenburg University, Germany.
A (possibly more up-to-date)
plain text index is also available.
ProCoS reports
OLD ERO 5/1.
Ernst-Rüdiger Olderog
and
Michael Schenke.
Specifications to Programs: FTRTFT tutorial.
OLD MS 8/1.
Michael Schenke.
A Timed Specification Language for Concurrent Reactive Systems.
OLD MS 9/1.
Michael Schenke.
Specification and Transformation of a Gas Burner.
(IEEE-version)
OLD MS 10/1.
Michael Schenke.
Specification and Transformation of a Gas Burner.
(FME-version)
OLD MS 11/1.
Michael Schenke.
A Timed Specification Language for Concurrent Reactive Systems.
OLD SR 8/1.
Ernst-Rüdiger Olderog
and
Stephan Rössig.
A Case Study in Transformational Design of Concurrent Systems.
OLD SR 9/1.
Stephan Rössig.
A transformational approach to the design of communicating systems.
(c.180 pages)
OLD JB 1/1.
Jürgen Bohn.
Formalizing the SL/PL design approach in
Lambda.
Other publications
Programming Concepts, Methods and Calculi,
edited by
E.-R. Olderog.
Proceedings of the IFIP WG2.1/WG2.2/WG2.3
Working Conference,
San Miniato, Italy, 6-10 June 1994.
See also
Projekt ProCos information in German.
Contact
Procos@arbi.informatik.uni-oldenburg.de
for information on ProCoS at Oldenburg.
Part of the ProCoS archive.