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

DOI10.1093/LOGCOM/11.6.789zbMATH Open0996.68110OpenAlexW2043348686MaRDI QIDQ4529487FDOQ4529487

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

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

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)

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)