RUI:  Structured Operational Semantics of Concurrency
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Bruce H. Barnes', 'PO_EMAI': None, 'PO_PHON': None}
This project is an investigation of operational semantics of concurrent         processes.  Preliminary results reveal some inherently unobservable             behaviour in the interactive testing of concurrent processes.                                                                                                   The work leads to the formulation of a new, general notion of                   Structured Operational Semantics for concurrent processes, generalizing         the traditional framework.
{'FirstName': 'Sorin', 'LastName': 'Istrail', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Sorin C Istrail', 'EmailAddress': 'sorin@cs.brown.edu', 'NSF_ID': '000112679', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Wesleyan University', 'CityName': 'MIDDLETOWN', 'ZipCode': '064593208', 'PhoneNumber': '8606853683', 'StreetAddress': '237 HIGH ST', 'StreetAddress2': 'FL 3', 'CountryName': 'United States', 'StateName': 'Connecticut', 'StateCode': 'CT', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'CT01', 'ORG_UEI_NUM': 'ZETJL6DKF963', 'ORG_LGL_BUS_NAME': 'WESLEYAN UNIVERSITY', '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': '914500', 'Text': 'SPECIAL PROGRAMS-RESERVE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8801174.xml'}