Temporal Serialization Graph Testing: An Approach to Control Concurrency in Broadcast Environments

Angelo Brayner, José Maria Monteiro. Temporal Serialization Graph Testing: An Approach to Control Concurrency in Broadcast Environments. In Karin Becker, Adriano Augusto de Souza, Damires Yluska de Souza Fernandes, Daniela Coelho Freire Batista, editors, XV Simpósio Brasileiro de Banco de Dados, 2-4 Outubro 2000, João Pessoa, Paraíba, Brasil, Anais. pages 287-301, CEFET-PB, 2000.

@inproceedings{BraynerM00,
  title = {Temporal Serialization Graph Testing: An Approach to Control Concurrency in Broadcast Environments},
  author = {Angelo Brayner and José Maria Monteiro},
  year = {2000},
  tags = {testing, graph-rewriting, Meta-Environment, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/BraynerM00},
  cites = {0},
  citedby = {0},
  pages = {287-301},
  booktitle = {XV Simpósio Brasileiro de Banco de Dados, 2-4 Outubro 2000, João Pessoa, Paraíba, Brasil, Anais},
  editor = {Karin Becker and Adriano Augusto de Souza and Damires Yluska de Souza Fernandes and Daniela Coelho Freire Batista},
  publisher = {CEFET-PB},
}