True-concurrency probabilistic models-Reference-Cited by-同舟云学术

True-concurrency probabilistic models

Published:2006-02 Issue:2 Volume:204 Page:231-274
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Abbes Samy,Benveniste Albert

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference18 articles.

1. Markov nets: probabilistic models for distributed and concurrent systems;Benveniste;IEEE Trans. Automatic Control,2003

2. Randomized non-sequential processes;Völzer,2001

3. S. Abbes, Probabilistic model for concurrent and distributed systems. limit theorems and application to statistical parametric estimation, Ph.D. thesis, IRISA/Université de Rennes 1, available from ftp://ftp.irisa.fr/techreports/theses/2004/abbes.pdf (2004).

4. Probabilistic event structures and domains;Varacca,2004

5. Petri nets, event structures and domains, part 1;Nielsen;Theor. Comput. Sci.,1980

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Confusion-Tolerant Computation of Probability in Acyclic Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

2. Mixed Nondeterministic-Probabilistic Automata;Discrete Event Dynamic Systems;2023-10-19

3. Stochastic Decision Petri Nets;Application and Theory of Petri Nets and Concurrency;2023

4. Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets;Electronic Proceedings in Theoretical Computer Science;2022-09-20

5. Bayesian strategies: probabilistic programs as generalised graphical models;Programming Languages and Systems;2021