| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Amalgamation of domain specific languages with behaviour
|
Durán, Francisco
|
|
2017
|
86 |
1 |
p. 208-235
28 p.
|
artikel
|
| 2 |
An analysis of the equational properties of the well-founded fixed point
|
Carayol, Arnaud
|
|
2017
|
86 |
1 |
p. 308-318
11 p.
|
artikel
|
| 3 |
An extended framework for passive asynchronous testing
|
Hierons, Robert M.
|
|
2017
|
86 |
1 |
p. 408-424
17 p.
|
artikel
|
| 4 |
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
|
Guzman, Michell
|
|
2017
|
86 |
1 |
p. 107-133
27 p.
|
artikel
|
| 5 |
Combine and conquer: Relating BIP and Reo
|
Dokter, Kasper
|
|
2017
|
86 |
1 |
p. 134-156
23 p.
|
artikel
|
| 6 |
Configuration logics: Modeling architecture styles
|
Mavridou, Anastasia
|
|
2017
|
86 |
1 |
p. 2-29
28 p.
|
artikel
|
| 7 |
Contents
|
|
|
2017
|
86 |
1 |
p. iii-iv
nvt p.
|
artikel
|
| 8 |
Contextual equivalences in configuration structures and reversibility
|
Aubert, Clément
|
|
2017
|
86 |
1 |
p. 77-106
30 p.
|
artikel
|
| 9 |
Dependency pairs for proving termination properties of conditional term rewriting systems
|
Lucas, Salvador
|
|
2017
|
86 |
1 |
p. 236-268
33 p.
|
artikel
|
| 10 |
Dynamic Rebinding for Concurrent Object Groups: Theory and practice
|
Bravetti, Mario
|
|
2017
|
86 |
1 |
p. 349-390
42 p.
|
artikel
|
| 11 |
Editorial Board
|
|
|
2017
|
86 |
1 |
p. IFC-
1 p.
|
artikel
|
| 12 |
Formalizing semantic bidirectionalization and extensions with dependent types
|
Grohne, Helmut
|
|
2017
|
86 |
1 |
p. 319-348
30 p.
|
artikel
|
| 13 |
Logic programming approach to automata-based decision procedures
|
Unel, Gulay
|
|
2017
|
86 |
1 |
p. 391-407
17 p.
|
artikel
|
| 14 |
Orchestrated session compliance
|
Barbanera, Franco
|
|
2017
|
86 |
1 |
p. 30-76
47 p.
|
artikel
|
| 15 |
Preface for the special issue on Interaction and Concurrency Experience 2015
|
Lanese, Ivan
|
|
2017
|
86 |
1 |
p. 1-
1 p.
|
artikel
|
| 16 |
Rewriting Logic and its Applications (extended selected papers from WRLA 2014)
|
Escobar, Santiago
|
|
2017
|
86 |
1 |
p. 157-158
2 p.
|
artikel
|
| 17 |
Rewriting modulo SMT and open system analysis
|
Rocha, Camilo
|
|
2017
|
86 |
1 |
p. 269-297
29 p.
|
artikel
|
| 18 |
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
|
Luo, Minxia
|
|
2017
|
86 |
1 |
p. 298-307
10 p.
|
artikel
|
| 19 |
Verifiable abstractions for contract-oriented systems
|
Bartoletti, Massimo
|
|
2017
|
86 |
1 |
p. 159-207
49 p.
|
artikel
|
Tijdschrift beschrijving