A process-calculus-based abstraction for coordinating multi-agent groups

DOI10.1016/S0304-3975(97)00153-9zbMath0896.68029MaRDI QIDQ1127521

Dennis Kafura, Manibrata Mukherji

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

coordinationCCSobject composition

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• PROCOL. A concurrent object-oriented language with protocols delegation and constraints
• Script: A communication abstraction mechanism and its verification
• A calculus of mobile processes. II
• Unnamed Item
• Unnamed Item

This page was built for publication: A process-calculus-based abstraction for coordinating multi-agent groups