Pattern-matching spi-calculus (2006)

by C Haack, A Jeffrey
Venue:Center Ft. Belvoir, Virginia 2. Dudley Knox Library Naval Postgraduate School Monterey, California