Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Related categories 8
Sites 1
Loading new listings for you to review...
- 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.