Modelling Dynamic Distributed Systems in LOTOS

Richard O. Sinnott. Modelling Dynamic Distributed Systems in LOTOS. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 203-212, Herbert Utz Verlag, 1999.

@inproceedings{Sinnott99,
  title = {Modelling Dynamic Distributed Systems in LOTOS},
  author = {Richard O. Sinnott},
  year = {1999},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Sinnott99},
  cites = {0},
  citedby = {0},
  pages = {203-212},
  booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999},
  editor = {Katharina Spies and Bernhard Schätz},
  publisher = {Herbert Utz Verlag},
  isbn = {3-89675-918-3},
}