Automatic Determination of Communication Topologies in Mobile Systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 152-167
- https://doi.org/10.1007/3-540-49727-7_9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Automatic analysis of pointer aliasing for untyped programsScience of Computer Programming, 1999
- Abstract cofibered domains: Application to the alias analysis of untyped programsPublished by Springer Nature ,1996
- Determining storage properties of sequential and concurrent programs with assignment and structured dataPublished by Springer Nature ,1995
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,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
- Affine relationships among variables of a programActa Informatica, 1976