Algebraic Reasoning About Communication
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
The purpose of this project is to develop algebraic techniques for              reasoning about communicating processes.  Many of these techniques will         be generalizations of techniques used in the linear algebra of                  nondeterministic automata theory.  A primary result will be reasoning           techniques which yield mathematically clean proofs, typical of the              linear algebra method in other areas.  Some technical questions about           related mathematics will also be undertaken.
{'FirstName': 'Michael', 'LastName': 'Main', 'PI_MID_INIT': 'G', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Michael G Main', 'EmailAddress': None, 'NSF_ID': '000404454', 'StartDate': '01/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Colorado at Boulder', 'CityName': 'Boulder', 'ZipCode': '803090001', 'PhoneNumber': '3034926221', 'StreetAddress': '3100 MARINE ST', 'StreetAddress2': 'STE 481 572 UCB', 'CountryName': 'United States', 'StateName': 'Colorado', 'StateCode': 'CO', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'CO02', 'ORG_UEI_NUM': 'SPVKK1RC2MZ3', 'ORG_LGL_BUS_NAME': 'THE REGENTS OF THE UNIVERSITY OF COLORADO', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8701946.xml'}