| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A lightweight approach to smart contracts supporting safety, security, and privacy
|
Owe, Olaf
|
|
|
127 |
C |
p.
|
article
|
| 2 |
A model of systems with modes and mode transitions
|
Beggs, Edwin
|
|
|
127 |
C |
p.
|
article
|
| 3 |
Axiomatizing recursion-free, regular monitors
|
Aceto, Luca
|
|
|
127 |
C |
p.
|
article
|
| 4 |
Editorial Board
|
|
|
|
127 |
C |
p.
|
article
|
| 5 |
Expressive power and succinctness of the positive calculus of binary relations
|
Nakamura, Yoshiki
|
|
|
127 |
C |
p.
|
article
|
| 6 |
Hardware Trojan detection via rewriting logic
|
Asăvoae, Irina Măriuca
|
|
|
127 |
C |
p.
|
article
|
| 7 |
Plotkin's call-by-value λ-calculus as a modal calculus
|
Espírito Santo, José
|
|
|
127 |
C |
p.
|
article
|
| 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.
|
article
|
| 9 |
Secure information flow connections
|
Bhardwaj, Chandrika
|
|
|
127 |
C |
p.
|
article
|
| 10 |
Stone dualities from opfibrations
|
Nishizawa, Koki
|
|
|
127 |
C |
p.
|
article
|
| 11 |
Towards refinable choreographies
|
de'Liguoro, Ugo
|
|
|
127 |
C |
p.
|
article
|
| 12 |
Transforming orthogonal inductive definition sets into confluent term rewrite systems
|
Zhang, Shujun
|
|
|
127 |
C |
p.
|
article
|
Journal description