Login / Signup
A. Savu
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Case Study
Information Systems
Argumentation Semantics
Asynchronous Communication
Top Venues
J. Log. Algebraic Methods Program.
</>
Publications
</>
Rabéa Ameur-Boulifa
,
Ludovic Henrio
,
Oleksandra Kulankhina
,
Eric Madelaine
,
A. Savu
Behavioural semantics for asynchronous components.
J. Log. Algebraic Methods Program.
89 (2017)