Scott Neal Gerard

Works (1)

Updated: July 5th, 2023 15:44

2013 journal article

Formalizing and Verifying Protocol Refinements

ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 4(2).

By: S. Gerard n & M. Singh n 

Contributors: S. Gerard n & M. Singh n 

author keywords: Algorithms; Languages; Theory; Verification; Commitments; agent communication; verification of multiagent systems
TL;DR: Proton is developed, an analysis tool for protocol specifications that overlays a model checker to compute whether one protocol refines another with respect to a stated mapping. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2025) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.