Automata for True Concurrency Properties.

Paolo Baldan, Tommaso Padoan

Browse the full FOSSACS paper archive.