On distributed stochastic logics for mobile systems

DOI10.1007/978-3-662-44145-9_14zbMATH Open1429.68028OpenAlexW162249063MaRDI QIDQ2938142FDOQ2938142

Authors: Juliana Küster-Filipe, Petrucio Viana 

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_14

Recommendations

• Model checking mobile stochastic logic
• Distributed modal logic
• Stochastic differential dynamic logic for stochastic hybrid programs
• Theoretical Aspects of Computing – ICTAC 2005
• Stochastic graph transformation systems

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Logic in computer science (03B70) Distributed systems (68M14)

Cited In (2)

• Stabilizing mobile philosophers
• Model checking mobile stochastic logic

This page was built for publication: On distributed stochastic logics for mobile systems

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