Process-local static analysis of synchronous processes

DOI10.1007/978-3-319-99725-4_18MaRDI QIDQ6041176zbMATH OpenOpenAlexWikidataFDO

Authors Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://portal.findresearcher.sdu.dk/da/publications/785d400f-ae6a-4e22-9327-26029a7cd0c1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algorithm for analyzing communicating processes
• Static analysis of communicating processes using symbolic transducers
• Static trace-based deadlock analysis for synchronous Mini-Go
• scientific article; zbMATH DE number 1670564
• scientific article; zbMATH DE number 1948384

Cited in

(12)

• scientific article; zbMATH DE number 1670564 (Why is no real title available?)
• Static analysis of communicating processes using symbolic transducers
• Static Livelock Analysis in CSP
• Static trace-based deadlock analysis for synchronous Mini-Go
• Static analysis of run-time modes in synchronous process network
• Static slicing of explicitly synchronized languages
• p‐Version interface elements in global/local analysis
• Parallel Processing and Applied Mathematics
• Fencing off Go: liveness and safety for channel-based programming
• Inferring Channel Buffer Bounds Via Linear Programming
• Verification, Model Checking, and Abstract Interpretation
• An algorithm for analyzing communicating processes

This page was built for publication: Process-local static analysis of synchronous processes

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