Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)

Authors Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, Glynn Winskel



PDF
Thumbnail PDF

File

DagSemRep.144.pdf
  • Filesize: 51 kB
  • 18 pages

Document Identifiers

Author Details

Manfred Droste
Ernst-Rüdiger Olderog
Bernhard Steffen
Glynn Winskel

Cite AsGet BibTex

Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel. Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619). Dagstuhl Seminar Report 144, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)
https://doi.org/10.4230/DagSemRep.144

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail