Process Algebra with Probabilistic Choice-Reference-Cited by-同舟云学术

Process Algebra with Probabilistic Choice

Published:1999 Issue: Volume: Page:111-129
ISSN:0302-9743
Container-title:Formal Methods for Real-Time and Probabilistic Systems
language:
Short-container-title:

Author:

Andova Suzana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48778-6_7

Reference17 articles.

1. S. Andova, Process algebra with interleaving probabilistic parallel composition, Eindhoven University of Technology, CSR 99-xx, 1999.

2. J.C.M. Baeten, J. A. Bergstra, Global renaming operators in concrete process algebra, Information and Computation 78, pp. 205–245, 1988.

3. J.C.M. Baeten, W. P. Weijland, Process algebra, Cambridge University Press, 1990.

4. J.C.M. Baeten, C. Verhoef, Concrete process algebra, Handbook of Logic in Computer Science, volume 4: “Semantic Modelling”, Oxford University Press, 1995.

5. Lect Notes Comput Sci;J.C.M. Baeten,1994

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

1. Probabilities in Session Types;Electronic Proceedings in Theoretical Computer Science;2019-09-02

2. Uniform Random Process Model Revisited;Programming Languages and Systems;2019

3. Introducing Probabilities in Controller Strategies;Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance;2015

4. DEGRADATION ANALYSIS OF PROBABILISTIC PARALLEL CHOICE SYSTEMS;International Journal of Reliability, Quality and Safety Engineering;2014-06

5. The probability of non-confluent systems;Electronic Proceedings in Theoretical Computer Science;2014-03-30