scientific article; zbMATH DE number 3986629

zbMATH Open0609.68023MaRDI QIDQ3750116FDOQ3750116

Authors: 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 DE number 4018374

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)