Deriving structural labelled transitions for mobile ambients (2008)

by Julian Rathke
Citations:14 - 2 self