Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks

Benyagoub, Sarah; Ameur, Yamine Aït; Ouederni, Meriem; Mashkoor, Atif; Medeghri, Ahmed

doi:10.1002/smr.2209

by Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri

Reference:

Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks (Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri), In J. Softw. Evol. Process., volume 32, 2020.

Bibtex Entry:

@Article{DBLP:journals/smr/BenyagoubAOMM20,
  author    = {Sarah Benyagoub and Yamine A{\"{\i}}t Ameur and Meriem Ouederni and Atif Mashkoor and Ahmed Medeghri},
  journal   = {J. Softw. Evol. Process.},
  title     = {Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks},
  year      = {2020},
  number    = {2},
  volume    = {32},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/journals/smr/BenyagoubAOMM20.bib},
  doi       = {10.1002/smr.2209},
  file      = {:Journals/JSEP 2020 - Formal desing of scaleable conversation protocols using Event-B/Formal design of scalable conversation protocols using Event-B-preprint.pdf:PDF},
  keywords  = {SCCH},
  timestamp = {Fri, 22 May 2020 21:53:47 +0200},
  url       = {https://doi.org/10.1002/smr.2209},
}