Specifying Complex and Structured Systems with Evolving Algebras

Wolfgang May. Specifying Complex and Structured Systems with Evolving Algebras. In Michel Bidoit, Max Dauchet, editors, TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Volume 1214 of Lecture Notes in Computer Science, pages 535-549, Springer, 1997.

@inproceedings{May97:2,
  title = {Specifying Complex and Structured Systems with Evolving Algebras},
  author = {Wolfgang May},
  year = {1997},
  tags = { algebra},
  researchr = {https://researchr.org/publication/May97%3A2},
  cites = {0},
  citedby = {0},
  pages = {535-549},
  booktitle = {TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  editor = {Michel Bidoit and Max Dauchet},
  volume = {1214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62781-2},
}