by Steve Schneider, Helen Treharne, Surrey Tw Ex
http://www.cs.rhul.ac.uk/home/helen/papers/fullifm.ps
Add To MetaCart
Abstract:
Abstract. Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express interactive and controller behaviour). This approach is driven by the desire to exploit existing tool support for both CSP and B, and by the need for
Citations
|
399
|
The Theory and Practice of Concurrency
– Roscoe
- 1997
|
|
71
|
Concurrent and Real-Time Systems: The CSP Approach
– Schneider
- 2000
|
|
37
|
csp2B : A practical approach to combining CSP and B
– Butler
- 1999
|
|
31
|
Of wp and CSP
– Morgan
- 1990
|
|
17
|
A concurrent language for refinement
– Woodcock, Cavalcanti
- 2001
|
|
14
|
Specification, refinement and verification of concurrent systems - an integration of Object-Z
– Smith, Derrick
- 2001
|
|
12
|
The Semantics and Implementation of Machine-Readable CSP
– Scattergood
- 1998
|
|
10
|
Communicating B machines
– Schneider, Treharne
- 2002
|
|
7
|
Proving event ordering properties for information systems
– Frappier, Laleau
- 2003
|
|
7
|
A Mathematical Theory of Communicating Processes
– Roscoe
- 1982
|
|
6
|
Recursion induction for real-time processes
– Davies, Schneider
- 1993
|
|
6
|
Combining control executives and software specifications
– Treharne
- 2000
|
|
4
|
Investigating a file transmission protocol using CSP and B
– Evans, Schneider, et al.
- 2003
|
|
4
|
Combining specifications using communication
– Treharne, Schneider, et al.
- 2003
|
