On Distributed Stochastic Logics for Mobile Systems

DOI10.1007/978-3-662-44145-9_14zbMath1429.68028OpenAlexW162249063MaRDI QIDQ2938142

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

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

This page was built for publication: On Distributed Stochastic Logics for Mobile Systems