sequence-diagrams

Here are 3 public repositories matching this topic...

erwanM974 / hibou_label

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

distributed-systems operational-semantics sequence-diagrams formal-models interaction-models multi-trace-analysis

Updated Jul 7, 2024
Rust

erwanM974 / hibou_efm

Star

HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

distributed-systems symbolic-execution operational-semantics sequence-diagrams interaction-models multi-trace-analysis

Updated May 21, 2021
Rust

erwanM974 / hibou_passing

Star

HIBOU for typed message passing

message-passing operational-semantics sequence-diagrams interaction-models

Updated Aug 20, 2023
Rust

Improve this page

Add a description, image, and links to the sequence-diagrams topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sequence-diagrams topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly