Process-Local Static Analysis of Synchronous Processes
- 29 August 2018
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Static Analysis of Communicating Processes Using Symbolic TransducersPublished by Springer Science and Business Media LLC ,2017
- Deadlock Analysis of Unbounded Process NetworksLecture Notes in Computer Science, 2014
- Introduction to Lattices and OrderPublished by Cambridge University Press (CUP) ,2002
- Confidentiality Analysis of Mobile SystemsLecture Notes in Computer Science, 2000
- Analyzing the communication topology of concurrent programsPublished by Association for Computing Machinery (ACM) ,1995
- Semantic analysis of communicating sequential processesLecture Notes in Computer Science, 1980
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- General Lattice TheoryPublished by Springer Science and Business Media LLC ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Derivatives of Regular ExpressionsJournal of the ACM, 1964