A multi-agent framework based on communication and concurrency

DOI10.1007/978-3-540-30536-1_14MaRDI QIDQ5465891zbMATH OpenOpenAlexFDO

Authors M. Jamshid Bagherzadeh, S. Arun-Kumar

Publication date 12 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104419

zbMATH Keywords

CCSCTLModel checkingMulti-agent systemsVerification

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2215634
• Towards formal specification and verification in cyberspace
• Specification and Verification of Multi-Agent Systems
• Property-based slicing for agent verification
• Semantics of agent communication: An introduction

Cited in

(9)

• Correctness of multi-agent programs: A hybrid approach
• The cognitive agents specification language and verification environment
• Multi-Agent system based on the message communication
• Property-based slicing for agent verification
• scientific article; zbMATH DE number 683358 (Why is no real title available?)
• Multi-agent reactive systems
• Multi-agent systems as concurrent constraint processes
• A communication protocol supporting dynamic autonomy agreements in multi-agent systems
• A proof-system for the safe execution of tasks in multi-agent systems

Describes a project that uses

Uses Software

• AgentSpeak

This page was built for publication: A multi-agent framework based on communication and concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5465891)