scientific article; zbMATH DE number 3986629

MaRDI QIDQ3750116zbMATHFDO

Authors Susanne Graf

Publication date 1986

zbMATH Keywords

specificationdecision procedureTCSPacceptance modelscomplete inference systemexternal and internal nondeterministic choice and recursionreadiness modelsTheoretical CSP

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Acceptance trees
• scientific article; zbMATH DE number 3913664
• Equations between Regular Terms and an Application to Process Logic
• scientific article; zbMATH DE number 3970100
• scientific article; zbMATH DE number 4018374

Cited in

(1)

• Automatic verification of distributed systems: the process algebra approach.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750116)