Some simulation results as to weakly correlated processes

DOI10.1016/0378-4754(87)90130-3zbMATH Open0634.60058OpenAlexW1978299148MaRDI QIDQ1096972FDOQ1096972

Benno Fellenberg, J. 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

interpretationsemanticsdistributed protocolbranching timesatisfiability problemKripke modelparticipantsPropositional Dynamic Logiclinear functionals of weakly correlated processesPropositional Temporal Knowledge Logicsimulation results. distributed systems

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

Cited In (1)

• A Note on the Simulation of Overdispersed Random Variables With Specified Marginal Means and Product Correlations

   Recommendations

• Interpreting logics of knowledge in propositional dynamic logic 👍 👎
• Probabilistic propositional temporal logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Model Checking Knowledge and Linear Time: PSPACE Cases 👍 👎
• The complexity of propositional linear temporal logics 👍 👎

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

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