scientific article; zbMATH DE number 519792

MaRDI QIDQ4283610zbMATH OpenFDO

Authors Jaanus Tekko

Publication date 14 March 1994

zbMATH Keywords

coding of syntactic informationmany-sorted language of predicate calculusprime numberssystems of communicating processes

Mathematics Subject Classification ID

Other applications of logic (03B80) Proof theory in general (including proof-theoretic semantics) (03F03) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 30325
• scientific article; zbMATH DE number 4005580
• A Theory of Communicating Sequential Processes
• Semantics of communicating processes
• scientific article; zbMATH DE number 4119599

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