MARC 主機 00000nam  2200000   4500 
008    940912s1984    miua     b    000 0 eng d 
040    AS|cAS|dIIS 
100 1  Golson, William Guyre 
245 10 Denotational models based on synchronously communicating 
       processes /|cWilliam Guyre Golson 
260    Ann Arbor, Mich. :|bUMI,|cc1984 
300    iii, 128 p. :|bill. ;|c22 cm 
502    Thesis (Ph.D.)--The University of Michigan, 1984 
504    Includes bibliographical references 
650  7 Parallel processing|2iis 
650  7 Semantic of languages|2iisf