2001): Bigraphical Reactive Systems (0)

by Robin Milner
Venue:In Kim Guldstrand Larsen & Mogens Nielsen, editors: CONCUR, Lecture Notes in Computer Science 2154