Some simulation results as to weakly correlated processes

DOI10.1016/0378-4754(87)90130-3zbMath0634.60058OpenAlexW1978299148MaRDI QIDQ1096972

Benno Fellenberg, Jürgen vom Scheidt

Publication date: 1987

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0378-4754(87)90130-3

zbMATH Keywords

satisfiability problemsemanticsKripke modelbranching timeinterpretationdistributed protocolparticipantsPropositional Dynamic LogicPropositional Temporal Knowledge Logiclinear functionals of weakly correlated processessimulation results. distributed systems

Mathematics Subject Classification ID

Stochastic analysis (60H99) Probabilistic methods, stochastic differential equations (65C99)

Cites Work

• Unnamed Item

This page was built for publication: Some simulation results as to weakly correlated processes