Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications-Reference-Cited by-同舟云学术

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications

Published:2005 Issue: Volume: Page:95-109
ISSN:0302-9743
Container-title:Foundations of Software Science and Computational Structures
language:
Short-container-title:

Author:

Abbes Samy,Benveniste Albert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31982-5_6.pdf

Reference14 articles.

1. Abbes, S.: Probabilistic model for concurrent and distributed systems. Limit theorems and applications. PhD Thesis, IRISA-Université de Rennes 1 (2004)

2. Abbes, S., Benvensite, A.: Branching cells as local states for event structures and nets: probabilistic applications. INRIA Research Report (2004) RR-5347, http://www.inria.fr/rrrt/rr-5347.html

3. Benveniste, A., Haar, S., Fabre, E.: Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Aut. Cont. 48(11), 1936–1950 (2003)

4. Lecture Notes in Computer Science;A. Benveniste,2003

5. Desel, J., Esparza, R.: Free choice Petri nets. Cambridge University Press, Cambridge (1995)

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

1. Concurrency and Probability;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09

2. Diagnosis with Petri Net Unfoldings;Lecture Notes in Control and Information Sciences;2013

3. Concurrency, σ-Algebras, and Probabilistic Fairness;Foundations of Software Science and Computational Structures;2009

4. Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them;Discrete Event Dynamic Systems;2007-08-01

5. The (True) Concurrent Markov Property and Some Applications to Markov Nets;Applications and Theory of Petri Nets 2005;2005