Searchalot - The search engine that doesn't track you.
 Internet Directory - Top : Computers : Programming : Languages : Tempo
Top : Computers : Programming : Languages : Tempo (9 web sites)
 Related Categories
Computers: Programming: Languages: Object_Oriented: Class_based
Computers: Programming: Languages: Concurrent
Computers: Programming: Languages: Declarative
Computers: Programming: Languages: Garbage_Collected
Computers: Parallel_Computing: Programming: Languages
Computers: Programming: Languages: Logic_based
Computers: Programming: Languages: Multiparadigm
Computers: Programming: Languages: Interpreted: Multiparadigm
 Related Web Pages

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 manipulating them while preserving correctness.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555