2017•Journal of Logical and Algebraic Methods in ProgrammingOpen access
Behavioural semantics for asynchronous components
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, Alexandra Savu
Open full text 21 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.
Open-access reader