|
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 | Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity |
Juhás, Gabriel |
2008 |
86 | 3 |
p. 255-298 |
article |
|
| 2 | Modeling Communication with Synchronized Environments |
Seceleanu, Tiberiu |
2008 |
86 | 3 |
p. 343-369 |
article |
|
| 3 | On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs |
Esparza, Javier |
2008 |
86 | 3 |
p. 227-253 |
article |
|
| 4 | Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings |
Khomenko, Victor |
2008 |
86 | 3 |
p. 299-323 |
article |
|
| 5 | Schedulability Analysis of Petri Nets Based on Structural Properties |
Liu, Cong |
2008 |
86 | 3 |
p. 325-341 |
article |
|
| 6 | The Fifth Special Issue on Application of Concurrency to System Design |
2008 |
86 | 3 |
p. i-ii |
article |
6 results found