Integrated Environments for Formally Based Design and       Simulation of Concurrent Systems:  A Non-Procedural Approach
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis', 'PO_EMAI': None, 'PO_PHON': None}
This project will build initially an environment that supports Milner's         Calculus of Communicating Systems.  CCS provides a simple and general           model of concurrency based on processes communicating via ports, and is         also a formal system in which semantics is represented nonprocedurally,         i.e. via inference and equational rules.  The experiment with the CCS           environment will be performed by using it in several ongoing research           projects involving concurrent systems.  These experiments will provide          critical feedback on the environment's effectiveness.  The CCS                  environment will also serve as a laboratory to investigate how the              principles on which it is based extend to other languages.                                                                                                                                                                                      This is an attempt to develop understanding of environments for the             specification and design of concurrent systems.  Improved understanding         of such environments will be important in future designs.
[{'FirstName': 'Alessandro', 'LastName': 'Giacalone', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Alessandro Giacalone', 'EmailAddress': None, 'NSF_ID': '000109944', 'StartDate': '07/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Scott', 'LastName': 'Smolka', 'PI_MID_INIT': 'A', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Scott A Smolka', 'EmailAddress': 'sas@cs.stonybrook.edu', 'NSF_ID': '000172536', 'StartDate': '07/15/1987', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'SUNY at Stony Brook', 'CityName': 'STONY BROOK', 'ZipCode': '117940001', 'PhoneNumber': '6316329949', 'StreetAddress': 'W5510 FRANKS MELVILLE MEMORIAL L', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'NY01', 'ORG_UEI_NUM': 'M746VC6XMNH9', 'ORG_LGL_BUS_NAME': 'THE RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK', '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': '287500', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8704309.xml'}