Your search
Topic
Publication year
Results
9 resources-
Wilkinson, D. J. (2006). Stochastic Modelling for Systems Biology. CRC Press.
-
van Breugel, F., Mislove, M., Ouaknine, J., & Worrell, J. (2005). Domain theory, testing and simulation for labelled Markov processes. Theoretical Computer Science, 333(1), 171–197. https://doi.org/10/ft9vc5
-
Sokolova, A., & de Vink, E. P. (2004). Probabilistic Automata: System Types, Parallel Composition and Comparison. In C. Baier, B. R. Haverkort, H. Hermanns, J.-P. Katoen, & M. Siegle (Eds.), Validation of Stochastic Systems (Vol. 2925, pp. 1–43). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-24611-4_1
-
Sokolova, A. (2011). Probabilistic systems coalgebraically: A survey. Theoretical Computer Science, 412(38), 5095–5110. https://doi.org/10/frbx24
-
Rutten, J. J. M. M. (2000). Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1), 3–80. https://doi.org/10/fqrjpn
-
Panangaden, P. (2009). Labelled Markov Processes. London, UK, UK: Imperial College Press.
-
Desharnais, J., Edalat, A., & Panangaden, P. (2002). Bisimulation for Labelled Markov Processes. Information and Computation, 179(2), 163–193. https://doi.org/10/fmp9vd
-
Dal Lago, U., & Hoshino, N. (2019). The Geometry of Bayesian Programming (pp. 1–13). https://doi.org/10/ggdk85
-
Bartels, F., Sokolova, A., & de Vink, E. (2003). A hierarchy of probabilistic system types. Electronic Notes in Theoretical Computer Science, 82(1), 57–75. https://doi.org/10/d7kq38
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (1)
CATEGORICAL LOGIC
- Linear logic (1)
MODEL CHECKING AND STATE MACHINES
- Coalgebras (6)
- Rewriting theory (2)
- Symbolic logic (1)
- Transition systems (9)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (1)
Topic
- Bayesian inference (2)
- Biology (1)
- Coalgebras (6)
- Denotational semantics (3)
- Implementation (1)
- Linear logic (1)
- Probabilistic programming (2)
- Probabilistic transition systems (6)
- Programming language theory (1)
- Rewriting theory (2)
- Symbolic logic (1)
- Systems biology (1)
- Transition systems
Resource type
- Book (2)
- Book Section (1)
- Conference Paper (1)
- Journal Article (5)