Comparing some Intuitions of 'Process Calculus' and 'Program Logic'

DOI10.1093/LOGCOM/11.6.789MaRDI QIDQ4529487zbMATH OpenOpenAlexFDO

Authors Sam Steel

Publication date 24 July 2002

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/11.6.789

zbMATH Keywords

process calculusprogramlogic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1759373
• scientific article; zbMATH DE number 1487732
• Publication:4733387
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• scientific article; zbMATH DE number 515733

Cited in

(1)

• From process logic to program logic

This page was built for publication: Comparing some Intuitions of 'Process Calculus' and 'Program Logic'

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529487)