|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Basic Logic for Reasoning about Connector Reconfiguration |
Clarke, Dave |
2008 |
82 | 4 |
p. 361-390 |
article |
|
| 2 | A Deductive Proof System for Multithreaded Java with Exceptions |
Ábrahám, Erika |
2008 |
82 | 4 |
p. 391-463 |
article |
|
| 3 | Behavior of Composed Concurrent Systems: Logic and Reasoning |
2008 |
82 | 4 |
p. i |
article |
||
| 4 | Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation |
Stehr, Mark-Oliver |
2008 |
82 | 4 |
p. 311-340 |
article |
|
| 5 | Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata |
Esmaeilsabzali, Shahram |
2008 |
82 | 4 |
p. 465-512 |
article |
|
| 6 | Validating Behavioral Component Interfaces in Rewriting Logic |
Johnsen, Einar Broch |
2008 |
82 | 4 |
p. 341-359 |
article |
6 results found