| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Abstract Way to Define Rewriting Logic
|
Aiguier, Marc
|
|
2006
|
159 |
C |
p. 205-226
22 p.
|
artikel
|
| 2 |
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
|
Haghighi, Hassan
|
|
2006
|
159 |
C |
p. 117-137
21 p.
|
artikel
|
| 3 |
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
|
Izadi, Mohammad
|
|
2006
|
159 |
C |
p. 171-186
16 p.
|
artikel
|
| 4 |
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
|
Capra, Lorenzo
|
|
2006
|
159 |
C |
p. 41-59
19 p.
|
artikel
|
| 5 |
Automated Mapping of Reo Circuits to Constraint Automata
|
Ghassemi, Fatemeh
|
|
2006
|
159 |
C |
p. 99-115
17 p.
|
artikel
|
| 6 |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
|
Stehr, Mark-Oliver
|
|
2006
|
159 |
C |
p. 299-323
25 p.
|
artikel
|
| 7 |
Flexible Communication of Agents based on FIPA-ACL
|
Bagherzadeh, Jamshid
|
|
2006
|
159 |
C |
p. 23-39
17 p.
|
artikel
|
| 8 |
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended R ebeca
|
Hojjat, Hossein
|
|
2006
|
159 |
C |
p. 139-154
16 p.
|
artikel
|
| 9 |
From Theoretical e-barter Models to an Implementation Based on Web Services
|
Bravetti, Mario
|
|
2006
|
159 |
C |
p. 241-264
24 p.
|
artikel
|
| 10 |
Inductive Proof Outlines for Exceptions in Multithreaded Java
|
Ábrahám, Erika
|
|
2006
|
159 |
C |
p. 281-297
17 p.
|
artikel
|
| 11 |
Interface Automata with Complex Actions
|
Esmaeilsabzali, Shahram
|
|
2006
|
159 |
C |
p. 79-97
19 p.
|
artikel
|
| 12 |
On Validity Assurance of Dynamic Reconfiguration for Component-based Programs
|
Niamanesh, Mahdi
|
|
2006
|
159 |
C |
p. 227-239
13 p.
|
artikel
|
| 13 |
Preface
|
Arbab, Farhad
|
|
2006
|
159 |
C |
p. 1-2
2 p.
|
artikel
|
| 14 |
Property-Transition-Net-Based Workflow Process Modeling and Verification
|
Huang, Yu
|
|
2006
|
159 |
C |
p. 155-170
16 p.
|
artikel
|
| 15 |
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
|
Clarke, Dave
|
|
2006
|
159 |
C |
p. 61-77
17 p.
|
artikel
|
| 16 |
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications
|
Sasaki, Shunsuke
|
|
2006
|
159 |
C |
p. 265-280
16 p.
|
artikel
|
| 17 |
Transformation of UML Models into Analyzable OSAN Models
|
Kamandi, Ali
|
|
2006
|
159 |
C |
p. 3-22
20 p.
|
artikel
|
| 18 |
Validating Behavioral Component Interfaces in Rewriting Logic
|
Johnsen, Einar Broch
|
|
2006
|
159 |
C |
p. 187-204
18 p.
|
artikel
|
Tijdschrift beschrijving