|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Relative Timed Semantics for BPMN |
Wong, Peter Y.H. |
2009 |
229 | 2 |
p. 59-75 17 p. |
artikel |
|
| 2 | Automatic Generation of Adaptation Contracts |
Martín, José Antonio |
2009 |
229 | 2 |
p. 115-131 17 p. |
artikel |
|
| 3 | Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints |
Yu, Yue |
2009 |
229 | 2 |
p. 133-153 21 p. |
artikel |
|
| 4 | Deconstructing R eo |
Clarke, Dave |
2009 |
229 | 2 |
p. 43-58 16 p. |
artikel |
|
| 5 | Dynamic Consistency in Process Algebra: From Paradigm to ACP |
Andova, S. |
2009 |
229 | 2 |
p. 3-20 18 p. |
artikel |
|
| 6 | Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM |
Tasharofi, Samira |
2009 |
229 | 2 |
p. 155-174 20 p. |
artikel |
|
| 7 | Preface |
Canal, Carlos |
2009 |
229 | 2 |
p. 1-2 2 p. |
artikel |
|
| 8 | Synthesis of Reo Circuits from Scenario-based Specifications |
Arbab, Farhad |
2009 |
229 | 2 |
p. 21-41 21 p. |
artikel |
|
| 9 | The ARC Programming Model – Language Constructs for Coordination |
Marth, Kevin |
2009 |
229 | 2 |
p. 95-113 19 p. |
artikel |
|
| 10 | Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks |
Godskesen, Jens Chr. |
2009 |
229 | 2 |
p. 77-93 17 p. |
artikel |
10 gevonden resultaten