On distributed stochastic logics for mobile systems

DOI10.1007/978-3-662-44145-9_14MaRDI QIDQ2938142zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)