A Partial Order Event Model for Concurrent Objects

José Meseguer, Carolyn L. Talcott. A Partial Order Event Model for Concurrent Objects. In Jos C. M. Baeten, Sjouke Mauw, editors, CONCUR 99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Volume 1664 of Lecture Notes in Computer Science, pages 415-430, Springer, 1999. [doi]

@inproceedings{MeseguerT99,
  title = {A Partial Order Event Model for Concurrent Objects},
  author = {José Meseguer and Carolyn L. Talcott},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1664/16640415.htm},
  tags = {meta-model, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/MeseguerT99},
  cites = {0},
  citedby = {0},
  pages = {415-430},
  booktitle = {CONCUR  99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
  editor = {Jos C. M. Baeten and Sjouke Mauw},
  volume = {1664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66425-4},
}