Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Process algebras represent an appropriate mechanism to formally specify concurrent systems. In order to get a thorough knowledge of these systems, some external formalism must be used.   propose an integrated framework where a (non-trivial) process algebra is combined with a (concurrent) functional language. Specifically,  consider a stochastic process algebra featuring value passing where distributions are not restricted to be exponential. In order to study properties of these specifications,  translate them into functional programs written in Eden. This functional language is very suitable for concurrent programming. On the one hand, it presents the usual features of modern functional languages. On the other hand, it allows the execution of concurrent processes.  present an example showing how specifications can be translated into Eden and how quantitative properties can be studied.
['Natalia López', 'Manuel Núñez', 'Fernando Rubio']
I am writing a research paper on a idea Stochastic process algebras meet eden
[{"from": "human", "value": "I am writing a research paper on a idea Stochastic process algebras meet eden"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Process algebras represent an appropriate mechanism to formally specify concurrent systems. In order to get a thorough knowledge of these systems, some external formalism must be used.   propose an integrated framework where a (non-trivial) process algebra is combined with a (concurrent) functional language. Specifically,  consider a stochastic process algebra featuring value passing where distributions are not restricted to be exponential. In order to study properties of these specifications,  translate them into functional programs written in Eden. This functional language is very suitable for concurrent programming. On the one hand, it presents the usual features of modern functional languages. On the other hand, it allows the execution of concurrent processes.  present an example showing how specifications can be translated into Eden and how quantitative properties can be studied."}]