nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A lightweight approach to smart contracts supporting safety, security, and privacy
|
Owe, Olaf |
|
|
127 |
C |
p. |
artikel |
2 |
A model of systems with modes and mode transitions
|
Beggs, Edwin |
|
|
127 |
C |
p. |
artikel |
3 |
Axiomatizing recursion-free, regular monitors
|
Aceto, Luca |
|
|
127 |
C |
p. |
artikel |
4 |
Editorial Board
|
|
|
|
127 |
C |
p. |
artikel |
5 |
Expressive power and succinctness of the positive calculus of binary relations
|
Nakamura, Yoshiki |
|
|
127 |
C |
p. |
artikel |
6 |
Hardware Trojan detection via rewriting logic
|
Asăvoae, Irina Măriuca |
|
|
127 |
C |
p. |
artikel |
7 |
Plotkin's call-by-value λ-calculus as a modal calculus
|
Espírito Santo, José |
|
|
127 |
C |
p. |
artikel |
8 |
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020
|
Balzer, Stephanie |
|
|
127 |
C |
p. |
artikel |
9 |
Secure information flow connections
|
Bhardwaj, Chandrika |
|
|
127 |
C |
p. |
artikel |
10 |
Stone dualities from opfibrations
|
Nishizawa, Koki |
|
|
127 |
C |
p. |
artikel |
11 |
Towards refinable choreographies
|
de'Liguoro, Ugo |
|
|
127 |
C |
p. |
artikel |
12 |
Transforming orthogonal inductive definition sets into confluent term rewrite systems
|
Zhang, Shujun |
|
|
127 |
C |
p. |
artikel |