Abstract | ||
---|---|---|
The paper gives an overview on the tool support available for the process algebra CSP with a special focus on theorem proving. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SEFM.2008.39 | SEFM |
Keywords | Field | DocType |
theorem proving,process algebra csp,special focus,tool support,csp,concurrency control,constraint satisfaction problem,process algebra,systems analysis,formal specification,constraint satisfaction,formal verification | Constraint satisfaction,Programming language,Concurrency control,Computer science,Automated theorem proving,Constraint satisfaction problem,Theoretical computer science,Formal specification,Design specification,Process calculus,Formal verification | Conference |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Markus Roggenbach | 1 | 294 | 32.63 |