scientific article; zbMATH DE number 3986629

zbMATH Open0609.68023MaRDI QIDQ3750116FDOQ3750116

Susanne Graf

Publication date: 1986

Title of this publication is not available (Why is that?)

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 Keywords

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

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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)