|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A compositional Petri net translation of general π-calculus terms |
Devillers, Raymond |
2008 |
20 | 4-5 |
p. 429-450 |
article |
|
| 2 | Bisimulations in calculi modelling membranes |
Barbuti, Roberto |
2008 |
20 | 4-5 |
p. 351-377 |
article |
|
| 3 | Capture-avoiding substitution as a nominal algebra |
Gabbay, Murdoch J. |
2008 |
20 | 4-5 |
p. 451-479 |
article |
|
| 4 | Deductive verification of alternating systems |
Slanina, Matteo |
2008 |
20 | 4-5 |
p. 507-560 |
article |
|
| 5 | Guest Editorial |
Barkaoui, Kamel |
2008 |
20 | 4-5 |
p. 349-350 |
article |
|
| 6 | Model checking Duration Calculus: a practical approach |
Meyer, Roland |
2008 |
20 | 4-5 |
p. 481-505 |
article |
|
| 7 | Property-directed incremental invariant generation |
Bradley, Aaron R. |
2008 |
20 | 4-5 |
p. 379-405 |
article |
|
| 8 | Reachability analysis of fragments of mobile ambients in AC term rewriting |
Delzanno, Giorgio |
2008 |
20 | 4-5 |
p. 407-428 |
article |
8 results found