Deriving structural labelled transitions for mobile ambients (2008)

by Julian Rathke
Citations:15 - 2 self