Your search
MODEL CHECKING AND STATE MACHINES
PROGRAMMING LANGUAGES
Results
11 resources-
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
-
Boutillier, P., Maasha, M., Li, X., Medina-Abarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rule-based modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6
-
Dal Lago, U., & Hoshino, N. (2019). The Geometry of Bayesian Programming (pp. 1–13). https://doi.org/10/ggdk85
-
de Vink, E. P., & Rutten, J. J. M. M. (1997). Bisimulation for probabilistic transition systems: A coalgebraic approach. In P. Degano, R. Gorrieri, & A. Marchetti-Spaccamela (Eds.), Automata, Languages and Programming (pp. 460–470). Berlin, Heidelberg: Springer. https://doi.org/10/fcqzmk
-
Desharnais, J., Edalat, A., & Panangaden, P. (2002). Bisimulation for Labelled Markov Processes. Information and Computation, 179(2), 163–193. https://doi.org/10/fmp9vd
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
-
Fages, F., Martinez, T., Rosenblueth, D. A., & Soliman, S. (2018). Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE/ACM Trans. Comput. Biol. Bioinformatics, 15(4), 1138–1151. https://doi.org/10/ggdf94
-
Murfet, D. (2019). dmurfet/2simplicialtransformer. Retrieved from https://github.com/dmurfet/2simplicialtransformer (Original work published 2019)
-
Murfet, D., Clift, J., Doryn, D., & Wallbridge, J. (2019). Logic and the $2$-Simplicial Transformer. ArXiv:1909.00668 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1909.00668
-
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
-
Wilkinson, D. J. (2006). Stochastic Modelling for Systems Biology. CRC Press.
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (5)
CATEGORICAL LOGIC
- Linear logic (1)
MACHINE LEARNING
- Machine Learning (2)
MODEL CHECKING AND STATE MACHINES
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (5)
Topic
- Abstract machines (3)
- Algebra (2)
- Bayesian inference (2)
- Biology (5)
- Categorical probability theory (1)
- Coalgebras (3)
- Denotational semantics (4)
- Implementation (5)
- Linear logic (1)
- Machine learning (2)
- Probabilistic programming (2)
- Probabilistic transition systems (3)
- Programming language theory (1)
- Rewriting theory (5)
- Semantics (2)
- Symbolic logic (3)
- Systems biology (5)
- Transition systems (5)
Resource type
- Book (1)
- Computer Program (1)
- Conference Paper (2)
- Journal Article (7)
Publication year
- Between 1900 and 1999 (1)
- Between 2000 and 2022 (9)
- Unknown (1)