Search results

Make synchronous channels work for process families

type: enhancement

Status: Open.

#130 In input-output-hk/thorn-calculus;

· javierdiaz72 opened on Jan 15, 2024

Add support for ordered transmission

type: enhancement

Status: Open.

#128 In input-output-hk/thorn-calculus;

· jeltsch opened on Oct 24, 2023

· 

Availability of the software in a proper state

Add @javierdiaz’s examples to <code>Thorn_Calculus-Examples</code>

type: enhancement

Status: Open.

#75 In input-output-hk/thorn-calculus;

· javierdiaz72 opened on Jan 5, 2023

· 

Availability of the software in a proper state

Complete the formalization of the asynchronous semantics

type: enhancement

Status: Open.

#46 In input-output-hk/thorn-calculus;

· jeltsch opened on Jul 2, 2022

· 

Availability of the software in a proper state

Make <code>equivalence</code> work with <code>repeated_receive</code>

type: enhancement

Status: Open.

#29 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 23, 2022

· 

Availability of the software in a proper state

Make <code>equivalence</code> work with <code>receive</code>

type: enhancement

Status: Open.

#28 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 22, 2022

· 

Availability of the software in a proper state

Fill the “Overview” section of <code>README.md</code>

type: enhancement

Status: Open.

#12 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 4, 2022

· 

Availability of the software in a proper state

Add section “Introduction” to the document

type: enhancement

Status: Open.

#11 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 4, 2022

· 

Availability of the software in a proper state