Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Volume 23 ( 2009 ) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems ( AVOCS 2009 ) Mobile CSP ‖ B
| Content Provider | Semantic Scholar |
|---|---|
| Author | Vajar, Beeta Schneider, Steve A. Treharne, Helen |
| Copyright Year | 2009 |
| Abstract | CSP‖B is a combination of CSP and B in which CSP processes are used as control executives for B machines. This architecture enables a B machine and its controller to interact and communicate with each other while working in parallel. The architecture has focused on sequential CSP processes as dedicated controllers for B machines. This paper introduces Mobile CSP‖B, a formal framework based on CSP‖B which enables us to specify and verify concurrent systems with mobile architecture instead of the previous static architecture. In Mobile CSP‖B, a parallel combination of CSP processes act as the control executive for the B machines and these B machines can be transferred between CSP processes during the system execution. The paper introduces the foundations of the approach, and illustrates the result with an example. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/338/316 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
