Petriho sı́tě, Akademické nakladatelstvı́
- M. Češka
- CERM Brno,
Systematic research of software process is being conducted at the Department of Computer Science for several years. Results of the research are mainly software packages  and technology scans . However, formal description of the software process is still insufficient. As yet, Petri’s Net theory  was applied for this purpose nearly exclusively. The theory has powerful mechanisms enabling to find out and prove some fundamental characteristics of the process. Nevertheless, practical application of the theory fails due enormous computational demands. This paper presents attempt of Robin Milner’s -calculus  application for purpose of software process formalization.