A probabilistic logic for pTiMo

DOI10.1007/978-3-642-39718-9_9MaRDI QIDQ2851904zbMATH OpenOpenAlexFDO

Authors Gabriel Ciobanu, Armand Stefan Rotaru

Publication date 4 October 2013

Published in Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39718-9_9

Mathematics Subject Classification ID

Temporal logic (03B44) 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
• Probabilistic propositional temporal logics
• A logic for reasoning about time and reliability
• Timed, Distributed, Probabilistic, Typed Processes
• scientific article; zbMATH DE number 1696898

Cited in

(3)

• PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
• Timed, Distributed, Probabilistic, Typed Processes
• Timed mobility in process algebra and Petri nets

This page was built for publication: A probabilistic logic for pTiMo

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