 |
Tempo: A Declarative Concurrent Programming Language
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 manipulati
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555
Psu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
