Employing costs in multiagent systems with timed migration and timed communication

DOI10.1007/978-3-030-38919-2_36MaRDI QIDQ3297779zbMATH OpenOpenAlexFDO

Authors Bogdan Aman, Gabriel Ciobanu

Publication date 20 July 2020

Published in SOFSEM 2020: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-38919-2_36

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed mobility in process algebra and Petri nets
• Dynamics of reputation in mobile agents systems and weighted timed automata
• A calculus of mobile agents
• Mobile Ambients with Timers and Types
• Mobile Agents with Timers, and Their Implementation

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Counting the cost in the picalculus (extended abstract)
• Formal Methods for the Design of Real-Time Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Logics in Artificial Intelligence
• Optimal paths in weighted timed automata
• The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
• Timed \(\pi\)-calculus
• Timed mobility in process algebra and Petri nets

Cited in

(1)

• Dynamic exploration of multi-agent systems with periodic timed tasks

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Employing costs in multiagent systems with timed migration and timed communication

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