From process logic to program logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 708499
- scientific article; zbMATH DE number 3878341
- scientific article; zbMATH DE number 4205998
- From Logic to Functional Logic Programs
- scientific article; zbMATH DE number 1407683
- scientific article; zbMATH DE number 4108157
- scientific article; zbMATH DE number 4055020
- From rewriting logic, to programming language semantics, to program verification
- Comparing some Intuitions of 'Process Calculus' and 'Program Logic'
- A logical process calculus
Cited in
(8)- Behavioral program logic
- Flow logic for process calculi
- Time bounds for general function pointers
- scientific article; zbMATH DE number 4170872 (Why is no real title available?)
- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
- An observationally complete program logic for imperative higher-order functions
- Type-based security for mobile computing integrity, secrecy and liveness
- Programming Languages and Systems
This page was built for publication: From process logic to program logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178034)