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

Forfattere

  • Uffe Engberg
  • Mogens Nielsen
  • Glynn Winskel

DOI:

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

Resumé

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.

Forfatterbiografier

Uffe Engberg

Mogens Nielsen

Glynn Winskel

Downloads

Publiceret

1992-04-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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