Tag
Strabo is a research contribution that models Google's Universal Commerce Protocol (UCP) as a declarative Langshaw protocol and implements agents using the Peach programming model, demonstrating interoperability between formally-specified agents and Google's UCP agents for agentic AI e-commerce interactions.