nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Framework for Engineering Interactions in Java-based Component Systems
|
Natali, Antonio |
|
2006 |
154 |
1 |
p. 43-61 19 p. |
artikel |
2 |
Capability-Passing Processes
|
Chothia, Tom |
|
2006 |
154 |
1 |
p. 3-23 21 p. |
artikel |
3 |
Connector Colouring I: Synchronisation and Context Dependency
|
Clarke, Dave |
|
2006 |
154 |
1 |
p. 101-119 19 p. |
artikel |
4 |
Coordination as an Architectural Aspect
|
Cuesta, Carlos E. |
|
2006 |
154 |
1 |
p. 25-41 17 p. |
artikel |
5 |
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres
|
Cabano, Michele |
|
2006 |
154 |
1 |
p. 139-158 20 p. |
artikel |
6 |
Formalizing WSBPEL Business Processes Using Process Algebra
|
Cámara, Javier |
|
2006 |
154 |
1 |
p. 159-173 15 p. |
artikel |
7 |
Formal Semantics and Analysis of Component Connectors in Reo
|
Mousavi, Mohammad Reza |
|
2006 |
154 |
1 |
p. 83-99 17 p. |
artikel |
8 |
Mobile Agents in Interaction Spaces
|
Peschanski, Frédéric |
|
2006 |
154 |
1 |
p. 63-82 20 p. |
artikel |
9 |
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
|
Guillen-Scholten, Juan |
|
2006 |
154 |
1 |
p. 121-138 18 p. |
artikel |
10 |
Preface
|
Canal, Carlos |
|
2006 |
154 |
1 |
p. 1-2 2 p. |
artikel |