The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
The UK e-science core programme and the grid
Future Generation Computer Systems - Grid computing: Towards a new computing infrastructure
BT Technology Journal
The Grid 2: Blueprint for a New Computing Infrastructure
The Grid 2: Blueprint for a New Computing Infrastructure
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
Artificial Intelligence and Grids: Workflow Planning and Beyond
IEEE Intelligent Systems
Ensuring secure and robust grid applications – from a formal method point of view
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
| Hi-index | 0.00 |
The development of modern science requires the equipment grid to provide a scientific collaboration research platform, which can realize remote collaboration and sharing with the key instruments and equipment in wide areas. The reliability and high efficiency of a grid service chain model are key points in creation of a grid equipment system. The π-calculus as powerful process algebra has a specific advantage in modeling and testing the grid service chain model. This research investigates and improves a theoretical analysis and algorithm framework for the modeling, correctness checking and analysis of the π-calculus based equipment grid service chain model. It also studies on the analysis of its logistic structure and flexible modeling for the equipment grid. It would be beneficial to open up a new space in the theoretical and applied research on grid technology and formal methodology based on cross-disciplinary cooperation.