Transition system specifications with negative premises
Theoretical Computer Science
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Probabilistic and prioritized models of timed CSP
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
A compositional approach to performance modelling
A compositional approach to performance modelling
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Testing preorders for probabilistic processes
Information and Computation
Model checking
Handbook of Process Algebra
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Proceedings of the First International Conference on Formal Description Techniques
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Acceptance Trees for Probabilistic Processes
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Towards a denotational semantics for ET-LOTOS
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
DREAM: The DistRibuted Eden Abstract Machine
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Implementation Skeletons in Eden: Low-Effort Parallel Programming
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Parallel functional programming at two levels of abstraction
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
| Hi-index | 0.00 |
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. In this paper we propose an integrated framework where a (non-trivial) process algebra is combined with a (concurrent) functional language. Specifically, we consider a stochastic process algebra featuring value passing where distributions are not restricted to be exponential. In order to study properties of these specifications, we 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. We present an example showing how specifications can be translated into Eden and how quantitative properties can be studied.