A Logic-Based Concurrent Object-Oriented Programmi
http://citeseer.ist.psu.edu/rd/46765635%2C157428%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/c
Article Rafael Ramirez.
Tempo: a declarative concurrent programming langua
http://citeseer.ist.psu.edu/rd/46765635%2C519806%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/c
Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness.