Category Archives: specification

Process Algebra and classical automata

Posted on November 1, 2009 by admin

The long awaited process algebra paper is now finally available in PDF Reducing Process Algebra.

Posted in software engineering, specification | Tagged , , , , | Leave a comment

Primitive recursion and transducers

Posted on August 25, 2009 by admin

11/23/2009 please see the updated version: here. Yet another version of the recursion/transducer paper . The main result is that simultaneous primitive recursion on strings corresponds to general products of state machines. Primitive recursion on strings is analogous to primitive … Continue reading →

Posted in specification | Leave a comment

Deterministic multithreading

Posted on August 10, 2009 by admin

An interesting paper appearing in ASPLOS proceedings provides a “deterministic” locking method Kendo enforces a deterministic interleaving of lock acquisitions and specially declared non-protected reads through a novel dynamically load-balanced deterministic scheduling algorithm. The algorithm tracks the progress of each … Continue reading →

Posted in embedded systems, operating systems, software engineering, software security, specification | Tagged , , , , | Leave a comment