Declarative Synchronous Multithreaded Programming

Authors Blanca Mancilla, John Plaice

Thumbnail PDF


  • Filesize: 174 kB
  • 6 pages

Document Identifiers

Author Details

Blanca Mancilla
John Plaice

Cite AsGet BibTex

Blanca Mancilla and John Plaice. Declarative Synchronous Multithreaded Programming. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of active ports, where sets of equations, demands and threads are all registered. Each thread defines a sequence of (state, demand) pairs, and threads may interact through the overall set of equations. The entire system remains fully declarative.
  • Synchronous programming
  • distributed computing
  • declarative programming
  • Cartesian programming
  • multidimensional programming.


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail