automation-structures 0.2.1

Reusable, formally specified building blocks for composing automation systems.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
//! Execution-modality carriers.

/// Barriered fork-join execution.
pub mod fork_join;
/// Totally ordered sequential execution.
pub mod sequential;
/// Dependency-governed graph execution.
pub mod step_graph;
/// Bounded linear stream execution.
pub mod stream_graph;
/// Bounded fan-out stream verification profile.
pub mod stream_graph_fanout;