On process rate semantics,” (2008)

by L Cardelli
Venue:Theoretical Computer Science,