Employing costs in multiagent systems with timed migration and timed communication

DOI10.1007/978-3-030-38919-2_36zbMATH Open1440.68306OpenAlexW2999743747MaRDI QIDQ3297779FDOQ3297779

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

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

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)

Cites Work

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

Cited In (1)

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

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)