WoTUG - The place for concurrent processes

Paper Details

%T Efficient Simulation of CSP\-Like Languages
%A Thomas Gibson-Robinson
%E Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
%B Communicating Process Architectures 2013
%X In \[dq]On the Expressiveness of CSP\[dq], Roscoe provides a
   construction that, given the operational semantics rules of
   a CSP\-like language and a process in that language,
   constructs a strongly bisimilar CSP process. Unfortunately,
   the construction provided is difficult to use and the
   scripts produced cannot be compiled by the CSP
   model\-checker, FDR. In this paper, we adapt Roscoe\[rs]s
   simulation to make it produce a process that can be checked
   relatively efficiently by FDR. Further, we extend
   Roscoe\[rs]s simulation in order to allow recursively
   defined processes to be simulated in FDR, which was not
   supported by the original simulation. We also describe the
   construction of a tool that can automatically construct the
   simulation, given the operational semantics of the language
   and a script to simulate, both in an easy\-to\-use format.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!