Extending timed mobility with probabilities and real-time

MaRDI QIDQ2941320zbMATH OpenFDO

Authors Bogdan Aman, Gabriel Ciobanu, Armand Stefan Rotaru

Publication date 27 August 2015

zbMATH Keywords

probabilitiesreal-time systemstimed mobility

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Timed mobility in process algebra and Petri nets
• A process algebra for timed systems
• A UTP approach for rTiMo
• Strategy based semantics for mobility with time and access permissions
• Timed extensions of calculus

Cited in

(6)

• A UTP approach for rTiMo
• Mobile Agents with Timers, and Their Implementation
• Timers and Proximities for Mobile Ambients
• scientific article; zbMATH DE number 1755149 (Why is no real title available?)
• Timed mobility in process algebra and Petri nets
• Strategy based semantics for mobility with time and access permissions

This page was built for publication: Extending timed mobility with probabilities and real-time

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