Abstract
<p>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.</p><p>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.</p><p>This booklet contains the program of the workshop, short abstracts for the talks presented, and a list of participants.</p>
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have