2 search results - page 1 / 1 » Experiments in Translating CSP || B to Handel-C |
WOTUG
2008
14 years 8 days ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
CONCURRENCY
2010
13 years 11 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...