Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24)

TY - RPRT

T1 - Models, Languages and Logics for Concurrent Distributed Systems

T2 - CEDISYS Workshop (Aarhus, 1991, May 21-24)

A2 - Engberg, Uffe Henrik

A2 - Nielsen, Mogens

A2 - Winskel, Glynn

PY - 1991

Y1 - 1991

N2 - The EEC Esprit Basic Research Action No 3011, Models, Languages and Logics for Con current Distributed Systems, CEDISYS, held its second workshop at Aarhus University in May, l991, following the successful workshop in San Miniato in 1990.The Aarhus Workshop was centered around CEDISYS research activities, and the selected themes of Applications and Automated Tools in the area of Distributed Systerns. The 24 participants were CEDISYS partners, and invited guests with expertise on the selected themes.This booklet contains the program of the workshop, short abstracts for the talks presented, and a list of participants.

AB - The EEC Esprit Basic Research Action No 3011, Models, Languages and Logics for Con current Distributed Systems, CEDISYS, held its second workshop at Aarhus University in May, l991, following the successful workshop in San Miniato in 1990.The Aarhus Workshop was centered around CEDISYS research activities, and the selected themes of Applications and Automated Tools in the area of Distributed Systerns. The 24 participants were CEDISYS partners, and invited guests with expertise on the selected themes.This booklet contains the program of the workshop, short abstracts for the talks presented, and a list of participants.

M3 - Report

T3 - DAIMI PB

BT - Models, Languages and Logics for Concurrent Distributed Systems

PB - Department of Computer Science, Aarhus University

ER -