A Singleton Failures Semantics for {C}ommunicating {S}equential {P}rocesses
Christie Bolton and Jim Davies
Details
| Journal |
Formal Aspects of Computing |
| Number |
2 |
| Pages |
181-210 |
| Volume |
18 |
| Year |
2006 |
Links
Related pages
|
People |