2012 · 14 citations · 24 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureDistributed SystemsGrid ComputingComputational ModelsDistributed ComputingDistributed Systems ArchitectureDistributed Systems DesignGrid ArchitectureNetworked Systems ModelingComputational Grid ArchitectureDistributed Computation ModelsDistributed Resource ManagementFormal ModelingGrid Computing ArchitecturesGrid Middleware ArchitectureGrid Services
This paper presents an overview of computing models for a very important class of distributed systems: autonomic grids and clouds. We present the DIME network architecture as a representative of this still relatively new class of computing. We attempt to capture its potentials by formal modeling and emerging properties.
24
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Theory of Self-Reproducing Automata
Jacob T. Schwartz, John von Neumann, Arthur W. Burks · Mathematics of Computation · 1967 · 5.5K citations
A calculus of mobile processes, I
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text