2007/07/05 by Jan Bergstra, J.A. Bergstra, Bergstra, Jan +4
Computer Science · #Advanced Software Engineering Methodologies #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multi-Agent Systems and Negotiation #cs.LO
paper · pdf · doi:10.48550/arxiv.0707.0744
9 pages, 4 figures
arxiv created 2007/07/05 · openalex publication_date 2007/07/05 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example we specify how promises may be used in coming to an agreement regarding a simple though practical transportation problem.