Behavior Oriented Concurrency in Rust.

For an introduction to the Behavior Oriented Concurrency model, see the OOPSLA 2023 Paper. This library aims to provide idiomatic Rust bindings to the Verona runtime, as introduced in that paper.

Current Status

This is a research project, and is at an early stage of development. It is not ready for use outside of research.

Developing

Cargo will automatically invoke cmake. However, when working on the bindings, it's nicer to use it manually.

cd crates/verona-rt-sys/cpp
cmake -B build -GNinja -D VERONA_RT_ONLY_HEADER_LIBRARY=ON
ninja -C build

lib.rs:

Low level FFI bindings to the verona runtime

This is an implementation detail of the verona-rt crate.

This is a research project, and is at an early stage of development. It is not ready for use outside of research.