Time in Message Sequence Charts: A Formal Approach (Extended Abstract)

Piotr Kosiuczenko. Time in Message Sequence Charts: A Formal Approach (Extended Abstract). In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 562-566, Springer, 1997.

@inproceedings{Kosiuczenko97:0,
  title = {Time in Message Sequence Charts: A Formal Approach (Extended Abstract)},
  author = {Piotr Kosiuczenko},
  year = {1997},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/Kosiuczenko97%3A0},
  cites = {0},
  citedby = {0},
  pages = {562-566},
  booktitle = {Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings},
  editor = {Christian Lengauer and Martin Griebl and Sergei Gorlatch},
  volume = {1300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63440-1},
}