Reduction and Design of Well-behaved Concurrent Systems

Jörg Desel. Reduction and Design of Well-behaved Concurrent Systems. In Jos C. M. Baeten, Jan Willem Klop, editors, CONCUR 90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings. Volume 458 of Lecture Notes in Computer Science, pages 166-181, Springer, 1990.

@inproceedings{Desel90,
  title = {Reduction and Design of Well-behaved Concurrent Systems},
  author = {Jörg Desel},
  year = {1990},
  tags = {design},
  researchr = {https://researchr.org/publication/Desel90},
  cites = {0},
  citedby = {0},
  pages = {166-181},
  booktitle = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  editor = {Jos C. M. Baeten and Jan Willem Klop},
  volume = {458},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53048-7},
}