Decentralization of process nets with centralized control-Reference-Cited by-同舟云学术

Decentralization of process nets with centralized control

Published:1989-06 Issue:2 Volume:3 Page:73-87
ISSN:0178-2770
Container-title:Distributed Computing
language:en
Short-container-title:Distrib Comput

Author:

Back R. -J. R.,Kurki-Suonio R.

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01558665.pdf

Reference34 articles.

1. Apt K, Francez N, Katz S (1987) Appraising fairness in languages for distributed programming. Proc 14th ACM POPL Conf, Munich 1987, pp 189–198

2. Back RJR, Hartikainen E, Kurki-Suonio R (1985) Multi-process handshaking on broadcasting networks. Rep Comput Sci 42, Abo Akademi

3. Back RJR, Kurki-Suonio R (1983) Decentralization of process nets with centralized control. 2nd Annu ACM Symp on PoDC, Montreal, Canada, 1983, pp 131–142

4. Back RJR, Kurki-Suonio R (1984) A case study in constructing distributed algorithms: distributed exchange sort. Proc Winter School on Theoretical Computer Science, Lammi 1984, Finnish Society for Information Processing, pp 1–33

5. Back RJR, Kurki-Suonio R (1984) Co-operation in distributed systems using symmetric multi process handshaking. Rep Comput Sci 34, Abo Akademi

Cited by 71 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Compositional Verification for Robotic State Machines using Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

2. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023

3. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B;Science of Computer Programming;2022-04

4. Decentralised adaptive fuzzy event-triggered control for nonlinear switched large-scale systems with unknown backlash-like hysteresis;International Journal of Systems Science;2022-01-13

5. The object-oriented dynamic task assignment for unmanned surface vessels;Engineering Applications of Artificial Intelligence;2021-11