Process calculi à la Bird-Meertens (2001)

by L S Barbosa
Venue:Elect. Notes in Theor. Comp. Sci