| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Application of Concurrency in the Asynchronous Design of Write-after-read Operations
|
Toosizadeh, Navid
|
|
2009
|
95 |
1 |
p. 31-52
|
article
|
| 2 |
Application of Concurrency to System Design, the Seventh Special Issue
|
|
|
2009
|
95 |
1 |
p. i-iv
|
article
|
| 3 |
A Token-Managed Admission Control System for QoS Provision on a Best-Effort GALS Interconnect
|
Yang, Shufan
|
|
2009
|
95 |
1 |
p. 53-72
|
article
|
| 4 |
Avoiding Irreducible CSC Conflicts by Internal Communication
|
Wist, Dominic
|
|
2009
|
95 |
1 |
p. 1-29
|
article
|
| 5 |
Dynamic Error Handling in Service Oriented Applications
|
Guidi, Claudio
|
|
2009
|
95 |
1 |
p. 73-102
|
article
|
| 6 |
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
|
Madalinski., Agnes
|
|
2009
|
95 |
1 |
p. 219-244
|
article
|
| 7 |
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
|
Markovski, Jasen
|
|
2009
|
95 |
1 |
p. 157-186
|
article
|
| 8 |
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
|
Meng, Sun
|
|
2009
|
95 |
1 |
p. 103-128
|
article
|
| 9 |
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
|
Bergenthum, Robin
|
|
2009
|
95 |
1 |
p. 187-217
|
article
|
| 10 |
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
|
Hahn, E. Moritz
|
|
2009
|
95 |
1 |
p. 129-155
|
article
|
Journal description