Concurrent system design with box structures
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The author demonstrates the natural extension of the box structure theory and techniques of system development to concurrent system design. The semantics and syntax of box structures for designing concurrency are presented. Concurrent box structure designs for several concurrent system environments are shown. Extensions to more complex environments are suggested.Keywords
This publication has 11 references indexed in Scilit:
- Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviorIEEE Transactions on Computers, 1988
- Misconceptions about real-time computing: a serious problem for next-generation systemsComputer, 1988
- Stepwise refinement and verification in box-structured systemsComputer, 1988
- On synchronization in hard-real-time systemsCommunications of the ACM, 1988
- Design of a Functionally Distributed, Multiprocessor Database Machine Using Data Flow AnalysisIEEE Transactions on Computers, 1987
- Box structured information systemsIBM Systems Journal, 1987
- Concepts and Notations for Concurrent ProgrammingACM Computing Surveys, 1983
- A comparative survey of concurrent programming languagesACM SIGPLAN Notices, 1982
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980