ACM Computing Surveys (CSUR)
A language for formal problem specification
Communications of the ACM
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
Cellular arrays for asynchronous control
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Interactive graphical simulation using modified Petri nets
ANSS '75 Proceedings of the 3rd symposium on Simulation of computer systems
Limitations of Dijkstra's Semaphore Primitives and Petri nets
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Towards a Theory of Universal Speed-Independent Modules
IEEE Transactions on Computers
Modular Asynchronous Control Design
IEEE Transactions on Computers
Record of the Project MAC conference on concurrent systems and parallel computation
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Macro E-Nets for Representation of Parallel Systems
IEEE Transactions on Computers
Information Sciences: an International Journal
Hi-index | 0.03 |
The way activity in a system proceeds is that events occur as a result of some conditions and lead to some new conditions which make other events possible. Often it is necessary to coordinate such events to ensure proper behavior. Coordination nets for representing such coordinations and physically realizable structures are modular and can be mechanically derived from the coordination nets. Coordinations involved in concurrent management of resources are also discussed.