Stochastic Concurrent Constraint Programming-Reference-Cited by-同舟云学术

Stochastic Concurrent Constraint Programming

Published:2006-10 Issue:3 Volume:164 Page:65-80
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bortolussi Luca

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference25 articles.

1. Principles of Constraint Programming;Apt,2003

2. M. Bernardo and R. Gorrieri. A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Technical Report 96–17, Department of Computer Science, University of Bologna, 1997

3. F.S. de Boer, R.M. van Eijk, W. van der Hoek, and J-J. Ch. Meyer. Failure semantics for the exchange of information in multi-agent systems. In Proceedings of CONCUR 2000, 1998

4. L. Bortolussi and A. Policriti. Connecting process algebras and differential equations for systems biology. In Submitted to CMSB 2006, 2006

5. Reliable performance modeling with approximate synchronisations;Bradley,1999

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

1. A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems;IEEE Transactions on Software Engineering;2020-03-01

2. Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond;Electronic Proceedings in Theoretical Computer Science;2020-01-20

3. Hybrid behaviour of Markov population models;Information and Computation;2016-04

4. Statistical Model Checking for Product Lines;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

5. Statistical analysis of probabilistic models of software product lines with quantitative constraints;Proceedings of the 19th International Conference on Software Product Line;2015-07-20