Employing costs in multiagent systems with timed migration and timed communication
From MaRDI portal
Publication:3297779
Recommendations
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
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)