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

DOI10.1093/LOGCOM/11.6.789zbMath0996.68110OpenAlexW2043348686MaRDI QIDQ4529487

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

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

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