scientific article; zbMATH DE number 4131639

zbMATH Open0691.68023MaRDI QIDQ3033307FDOQ3033307

Authors: Tomasz Szmuc 

Publication date: 1989

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

Recommendations

• Publication:3476264
• scientific article; zbMATH DE number 62143
• scientific article; zbMATH DE number 17795
• scientific article; zbMATH DE number 139604
• Correctness of concurrent processes

zbMATH Keywords

verificationconcurrent processescorrectnesscomputer aided correctness analysis

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25) Theory of computing (68Q99)

Cited In (2)

• Title not available (Why is that?)
• On semilattice of Linux processes' states

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 Q3033307)