Behavior analysis for validating communication patterns (original) (raw)

behaviors

; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system that infers behaviors 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 programs.

Access this article

Log in via an institution

Subscribe and save

• Starting from 10 chapters or articles per month
• Access and download chapters and articles from more than 300k books and 2,500 journals
• Cancel anytime View plans

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Author information

Authors and Affiliations

1. DAIMI, Aarhus University; Ny Munkegade, DK-8000 Aarhus C, Denmark; E-mail: {tamtoft,hrn,fn}@daimi.aau.dk, , , , , , DK
   Torben Amtoft, Hanne Riis Nielson & Flemming Nielson

Authors

1. Torben Amtoft
2. Hanne Riis Nielson
3. Flemming Nielson

Rights and permissions

About this article

Cite this article

Amtoft, T., Nielson, H. & Nielson, F. Behavior analysis for validating communication patterns.STTT 2, 13–28 (1998). https://doi.org/10.1007/s100090050015

Download citation

• Issue date: November 1998
• DOI: https://doi.org/10.1007/s100090050015