A behavioral contract calculus for agent-legible business systems.
Rust
1
1
Apache License 2.0
Tenor is a behavioral contract calculus designed for describing the complete observable behavior of business systems in a way that is statically analyzable and agent-legible. It enables any agent to fully understand a system from its contract alone, without reading implementation code, by providing a unified formal system for behavior specification, provenance tracking, and multi-contract composition.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Top contributors
brandonwbush
1 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet