The following pages link to The logic of message-passing (Q923880):
Displaying 7 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Constructing regular variables in message passing systems (Q2485118) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- On the composition of Tunstall messages (Q4701420) (← links)
- Message passing on networks with loops (Q5218487) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)