scientific article; zbMATH DE number 3846843

MaRDI QIDQ3316562zbMATH OpenFDO

Authors Hans-Dieter Burkhard

Publication date 1983

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 966887
• Some Remarks on Proof-Theoretic Semantics
• Some critical remarks on incompability semantics
• scientific article; zbMATH DE number 7600011
• scientific article; zbMATH DE number 4010499
• Revisiting Semilattice Semantics
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• scientific article; zbMATH DE number 6296797
• Reexamination of Tarski's semantics
• scientific article; zbMATH DE number 4106819

Cited in

(2)

• Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa
• scientific article; zbMATH DE number 7600011 (Why is no real title available?)

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