Home
Synchronous

Tag

Synchronous

1 site carry this tag.

Tempo: A Declarative Concurrent Programming Language Tempo: A Declarative Concurrent Programming Language- Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspe…