Skip to main content

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

Book cover

No cover available.