Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.

Jan Stcker, Frdric Lang, Hubert Garavel

Browse the full IFM paper archive.