Combined Algebraic Specification Techniques for Concurrent and Distributed Systems

Hartmut Ehrig. Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. In GI Jahrestagung. pages 528-533, 1993.

@inproceedings{Ehrig93,
  title = {Combined Algebraic Specification Techniques for Concurrent and Distributed Systems},
  author = {Hartmut Ehrig},
  year = {1993},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Ehrig93},
  cites = {0},
  citedby = {0},
  pages = {528-533},
  booktitle = {GI Jahrestagung},
}