| The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP |
J. Hooman and W. P. Roever |
1986 |
45 |
0 |
| A Reasoning Method for Timed CSP Based on Constraint Solving |
J. Dong and Ping Hao and Jun Sun and Xian Zhang |
2006 |
43 |
1 |
| Embedding as a Tool for Language Comparison: On the CSP Hierarchy |
F. S. Boer and C. Palamidessi |
1991 |
27 |
1 |
| Practical Application of CSP and FDR to Software Design |
Jonathan Lawrence |
2004 |
20 |
2 |
| A CSP Model for Mobile Channels |
P. Welch and F. Barnes |
2008 |
20 |
1 |
| Bridging CSP and C++ with selective formalism and executable specifications |
W. B. Gardner |
2003 |
18 |
0 |
| CSP as a Domain-Specific Language Embedded in Python and Jython |
S. Mount and Mohammad Hammoudeh and Sam Wilson and R. Newman |
2009 |
15 |
0 |
| Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP |
B. Bartels and S. Glesner |
2011 |
13 |
1 |
| A programming environment for CSP |
N. Delisle and M. Schwartz |
1987 |
13 |
1 |
| Converging CSP specifications and C++ programming via selective formalism |
W. B. Gardner |
2005 |
13 |
0 |
| Designing reusable software components following the CSP distributed programming model |
J. M. Mantas and A. Palma |
1997 |
5 |
0 |
| An Analytical and Experimental Comparison of CSP Extensions and Tools |
Ling Shi and Yang Liu and Jun Sun and J. Dong and Gustavo Carvalho |
2012 |
4 |
0 |
| Mobile CSP |
J. Woodcock and A. Wellings and A. Cavalcanti |
2015 |
4 |
1 |
| Converting scenarios to CSP traces with Mise en Scene for requirements-based programming |
J. Carter and W. B. Gardner |
2008 |
4 |
0 |
| CSP as a Coordination Language |
Moritz Kleine |
2011 |
4 |
0 |
| Unfolding CSP |
M. Bundgaard and R. Milner |
2010 |
3 |
0 |
| A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP |
M. Oliveira and Ivan Soares de Medeiros Júnior and J. Woodcock |
2013 |
3 |
0 |
| Development of an ML-based Verification Tool for Timed CSP Processes |
T. Yamakawa and T. Ohashi and C. Fukunaga |
2011 |
2 |
0 |
| Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming |
J. Carter and W. B. Gardner |
2007 |
2 |
0 |
| Tools for teaching CCRs, monitors, and CSP concurrent programming concepts |
R. Olsson and Carole M. McNamee |
1995 |
1 |
0 |
| CSP for Parallelising Brzozowski's DFA Construction Algorithm |
Tinus Strauss and B. Watson and D. Kourie and L. Cleophas |
2017 |
1 |
0 |