Search results
From MaRDI portal
- Bi-inductive Structural Semantics 2014-01-10 Paper A Case Study in Abstract Interpretation Based Program Transformation 2013-04-26 Paper Probabilistic Abstract Interpretation...10 bytes (17 words) - 15:03, 12 December 2023
- quantum computational semantics for epistemic logical operators. I: Epistemic structures 2014-11-19 Paper A quantum computational semantics for epistemic logical...10 bytes (18 words) - 15:14, 10 December 2023
- Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Unifying Operational Semantics with Algebraic Semantics for Instantaneous...10 bytes (16 words) - 19:44, 6 October 2023
- fragment of epistemic probabilistic argumentation 2020-02-26 Paper Polynomial-time updates of epistemic states in a fragment of probabilistic epistemic argumentation...10 bytes (16 words) - 07:30, 7 October 2023
- and Hájek) 2013-01-07 Paper A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART A 2012-04-21 Paper A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B...10 bytes (17 words) - 22:23, 8 December 2023
- reactive probabilistic systems 2019-03-13 Paper A natural deduction approach to dynamic logic 2019-01-15 Paper Structural operational semantics for non-deterministic...10 bytes (17 words) - 21:23, 11 December 2023
- Paper Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic 2013-12-06 Paper Errata for ``A calculus and logic of resources...10 bytes (16 words) - 06:31, 9 December 2023
- 2013-04-04 Paper Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics 2012-09-25 Paper Model Checking under...10 bytes (19 words) - 15:23, 10 December 2023
- Bayesian strategies: probabilistic programs as generalised graphical models 2021-10-18 Paper The concurrent game semantics of Probabilistic PCF 2021-01-20 Paper...10 bytes (16 words) - 01:33, 25 September 2023
- time, and causality: its algebra, geometry, logic 2020-02-18 Paper Probabilistic semantics for RoboChart. A weakest completion approach 2020-02-18 Paper Unifying...10 bytes (21 words) - 22:27, 11 December 2023
- 2022-01-27 Paper Completeness theorems for \(\sigma \)-additive probabilistic semantics 2020-01-30 Paper Completeness theorem for probability models with...10 bytes (17 words) - 01:47, 12 December 2023
- Publication Date of Publication Type Imprecise probabilistic models based on hierarchical intervals 2024-03-14 Paper MPE Computation in Bayesian Networks...10 bytes (17 words) - 06:56, 9 December 2023
- Bisimulation for probabilistic transition systems: A coalgebraic approach 2000-01-12 Paper On the foundations of final coalgebra semantics: non-well-founded...10 bytes (23 words) - 00:56, 10 December 2023
- testing for probabilistic processes 2014-06-06 Paper Bisimulations for Communicating Transactions 2014-04-16 Paper Remarks on Testing Probabilistic Processes...10 bytes (21 words) - 18:04, 9 December 2023
- to He Jifeng 2013-08-16 Paper Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language 2011-12-19 Paper Formalization...10 bytes (19 words) - 06:04, 9 December 2023
- 2012-09-05 Paper Structural operational semantics through context-dependent behaviour 2011-09-12 Paper A semantics for behavior trees using CSP with specification...10 bytes (18 words) - 14:34, 8 December 2023
- Paper Algebraic theory of probabilistic and nondeterministic processes. 2003-08-13 Paper A process algebra for probabilistic and nondeterministic processes...10 bytes (18 words) - 07:40, 12 December 2023
- Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities 2019-06-25 Paper Probabilistic logic over...10 bytes (16 words) - 15:05, 11 December 2023
- 1990-01-01 Paper Probabilistic performance of a heurisic for the satisfiability problem 1988-01-01 Paper Correction to ``Probabilistic analysis of the Davis...10 bytes (18 words) - 19:11, 9 December 2023
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language 2011-06-06 Paper A Minkowski...10 bytes (17 words) - 17:54, 6 October 2023