english deutsch
A Logic-Based Concurrent Object-Oriented Programmi
Article Rafael Ramirez.
Tempo: a declarative concurrent programming langua
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.