From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics

Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi. From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. In Giorgio Levi, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings. Volume 850 of Lecture Notes in Computer Science, pages 114-132, Springer, 1994.

@inproceedings{BuenoHMR94,
  title = {From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics},
  author = {Francisco Bueno and Manuel V. Hermenegildo and Ugo Montanari and Francesca Rossi},
  year = {1994},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BuenoHMR94},
  cites = {0},
  citedby = {0},
  pages = {114-132},
  booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings},
  editor = {Giorgio Levi and Mario Rodríguez-Artalejo},
  volume = {850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58431-5},
}