Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Suggest a site

Tempo (2)

See Also:

Sites:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091

» A Logic-Based Concurrent Object-Oriented Programming Language
Article Rafael Ramirez.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555

» 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 manipulatin
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555

This category needs an editor

Last Updated: 2007-01-02 19:58:14

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com