A Singleton Failures Semantics for Communicating Sequential Processes
Christie Bolton and Jim Davies
Details
| Journal |
Formal Aspects of Computing |
| Number |
2 |
| Pages |
181−210 |
| Volume |
18 |
| Year |
2006 |
Links
Related pages
|
People |