Strabo

Strabo: Declarative specification of agentic interaction protocols with UCP interoperability

Researchers introduce Strabo, a framework for modeling and implementing multiagent interaction protocols using declarative Langshaw protocols and the Peach programming model. The paper demonstrates the approach by modeling Google's Universal Commerce Protocol (UCP) checkout flows and showing that Peach agents can interoperate with Google's UCP agents. The work establishes a pathway for incrementally introducing formal declarative protocols into existing agentic systems without requiring wholesale replacement.