论文信息 - An Experiment in Implementing Process Algebra Specifications in a Procedural Language

An Experiment in Implementing Process Algebra Specifications in a Procedural Language

This paper presents a method for the implementation of process algebra specifications in a (structured) imperative language. The original specification is written in the Process Specification Formalism (PSF). The actual implementation is made in an extension of the C language for concurrent programming. First we make an informal presentation and then we consider a formal approach.

C. Groza

[1] J. Baeten. Applications of process algebra , 1990 .

[2] Donald E. Knuth,et al. Literate Programming , 1984, Comput. J..

[3] Jan A. Bergstra,et al. Algebraic specification , 1989 .

[4] Paul Klint,et al. A meta-environment for generating programming environments , 1989, TSEM.

[5] Sjouke Mauw,et al. Algebraic Specification of Communication Protocols: Frontmatter , 1983 .

[6] Paul Klint,et al. The syntax definition formalism SDF—reference manual— , 1989, SIGP.

[7] Jan A. Bergstra,et al. The algebraic specification formalism ASF , 1989 .