Search results

counter-examples

enhancement

Status: Open.

#12 In contractautomataproject/ContractAutomataLib;

· davidebasile opened on May 26, 2022

Swap necessary offers and requests for the case of choreography

enhancement

Status: Open.

#11 In contractautomataproject/ContractAutomataLib;

· davidebasile opened on Apr 22, 2022

Study remotion of requests on-credit for a closed composition

enhancement

Status: Open.

#8 In contractautomataproject/ContractAutomataLib;

· davidebasile opened on Mar 14, 2022

Non-associative Composition all-at-once

enhancement

Status: Open.

#6 In contractautomataproject/ContractAutomataLib;

· davidebasile opened on Dec 11, 2021