Specification of communicating processes: temporal logic versus refusals−based refinement
Gavin Lowe
Details
| Journal |
Formal Aspects of Computing |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |