Threads working together can be seen as a graph where each thread is a node. That's exactly what Archipel does. The aim is to make multithreading more easy: simply define your data exchange structures and write the business code for each of your threads, and Archipel handles the rest. Code is licenced under LGPL v3.0.
This library provides a safe wrapper around flock(2). It avoids problems when using locks in multi-threaded applications, while still exposing exclusive and shared locks.
DynamiTE is a framework for writing concurrent applications in Java. It is grounded in a process calculus called TNT, which allows concurrent mobile processes to be modelled. Processes can communite synchronously and can respond to the signal of an abstract clock, which acts as a synchronisation point for multiple processes.
π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.
From there, it is possible to further process the resulting expressions; the default plugin will try to produce a name-bounded version(*) and, on request, the accompanying
... [More] Petri-Net representation.
The main goal is to enable the user to run a series of static verification tests on the original code.
(*) Reiner Hüchting, Rupak Majumdar, and Roland Meyer. “A Theory of Name-Boundedness”. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy