Formal Modeling of Communication Traces

Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich. Formal Modeling of Communication Traces. In Mikhail Godlevsky, Stephen W. Liddle, Heinrich C. Mayr, editors, Information Systems Technology and its Applications, International Conference ISTA 2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings. Volume 30 of LNI, pages 97-108, GI, 2003.

@inproceedings{BorodayHPU03,
  title = {Formal Modeling of Communication Traces},
  author = {Sergiy Boroday and Hesham Hallal and Alexandre Petrenko and Andreas Ulrich},
  year = {2003},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/BorodayHPU03},
  cites = {0},
  citedby = {0},
  pages = {97-108},
  booktitle = {Information Systems Technology and its Applications, International Conference ISTA 2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings},
  editor = {Mikhail Godlevsky and Stephen W. Liddle and Heinrich C. Mayr},
  volume = {30},
  series = {LNI},
  publisher = {GI},
  isbn = {3-88579-359-8},
}