NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.

Hubert Garavel, Frdric Lang

Browse the full FORTE paper archive.