Employing Costs in Multiagent Systems with Timed Migration and Timed Communication

DOI10.1007/978-3-030-38919-2_36zbMath1440.68306OpenAlexW2999743747MaRDI QIDQ3297779

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

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

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Optimal paths in weighted timed automata
• Timed mobility in process algebra and Petri nets
• A calculus for cryptographic protocols: The spi calculus
• The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
• Timed $$\pi $$-Calculus
• Counting the Cost in the Picalculus (Extended Abstract)
• Logics in Artificial Intelligence
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal Methods for the Design of Real-Time Systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

This page was built for publication: Employing Costs in Multiagent Systems with Timed Migration and Timed Communication