| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Checking deadlock-freedom of parametric component-based systems
|
Bozga, Marius
|
|
|
119 |
C |
p.
|
article
|
| 2 |
Composition and decomposition of multiparty sessions
|
Barbanera, Franco
|
|
|
119 |
C |
p.
|
article
|
| 3 |
Computer says no: Verdict explainability for runtime monitors using a local proof system
|
Francalanza, Adrian
|
|
|
119 |
C |
p.
|
article
|
| 4 |
Conflict vs causality in event structures
|
Gorla, Daniele
|
|
|
119 |
C |
p.
|
article
|
| 5 |
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
|
Ábrahám, Erika
|
|
|
119 |
C |
p.
|
article
|
| 6 |
Editorial Board
|
|
|
|
119 |
C |
p.
|
article
|
| 7 |
Semantics of temporal constrained objects
|
Kannimoola, Jinesh M.
|
|
|
119 |
C |
p.
|
article
|
| 8 |
Synthesis of sorting algorithms using multisets in Theorema
|
Drămnesc, Isabela
|
|
|
119 |
C |
p.
|
article
|
| 9 |
The C π -calculus: A model for confidential name passing
|
Prokić, Ivan
|
|
|
119 |
C |
p.
|
article
|
| 10 |
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations
|
Corradini, Flavio
|
|
|
119 |
C |
p.
|
article
|
Journal description