Skip to content
This repository has been archived by the owner on Apr 23, 2024. It is now read-only.

diagrams: finite state diagram/specification #128

Open
leighmcculloch opened this issue Jun 29, 2021 · 0 comments
Open

diagrams: finite state diagram/specification #128

leighmcculloch opened this issue Jun 29, 2021 · 0 comments

Comments

@leighmcculloch
Copy link
Contributor

@accordeiro and @MonsieurNicolas suggested we prepare a finite state diagram that contains in details every possible state the SEP specifies and that the payment channel will hold. Some tools we could use for this might be Ivy, or TLA+.
@leighmcculloch leighmcculloch added this to the 1b – One-Hope Payment Channel (Shareable) milestone Jun 29, 2021
@leighmcculloch leighmcculloch changed the title diagrams: finite state diagram diagrams: finite state diagram/specification Jul 27, 2021
@leighmcculloch leighmcculloch modified the milestones: 2 – One-Hop Payment Channel – Benchmarked, 3 – One-Hop Payment Channel – Shareable, 2 – One-Hop Payment Channel – Benchmarks Sep 2, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@leighmcculloch @stellar-terraform