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

Authors

  • Uffe Engberg
  • Mogens Nielsen
  • Glynn Winskel

DOI:

https://doi.org/10.7146/dpb.v21i392.6627

Abstract

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.

Author Biographies

Uffe Engberg

Mogens Nielsen

Glynn Winskel

Downloads

Published

1992-04-01

How to Cite

Engberg, U., Nielsen, M., & Winskel, G. (1992). Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24). DAIMI Report Series, 21(392). https://doi.org/10.7146/dpb.v21i392.6627

Issue

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

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.