A Theory for the Composition of Concurrent Processes.

Ludovic Henrio, Eric Madelaine, Min Zhang

Browse the full FORTE paper archive.