Behaviour Analysis for Validating Communication Patterns
DOI:
https://doi.org/10.7146/dpb.v26i527.7056Resumé
The communication patterns of concurrent programs can be expressed succinctly using behaviours; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system which infers behaviours from a useful fragment of Concurrent ML programs; it is based on previously developed theoretical results and forms the core of a system available on the Internet. By means of a case study, used as a benchmark in the literature, we shall see that the system facilitates the validation of certain safety conditions for reactive systems.Downloads
Publiceret
1997-09-01
Citation/Eksport
Amtoft, T., Nielson, H. R., & Nielson, F. (1997). Behaviour Analysis for Validating Communication Patterns. DAIMI Report Series, 26(527). https://doi.org/10.7146/dpb.v26i527.7056
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.