From action systems to modular systems-Reference-Cited by-同舟云学术

From action systems to modular systems

Published:1994 Issue: Volume: Page:1-25
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Back R. J. R.,Sere K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58555-9_83.pdf

Reference23 articles.

1. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.

2. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593–624, 1988.

3. R. Back. Refinement calculus, part II: Parallel and reactive programs. In REX Workshop for Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, Nijmegen, The Netherlands, 1989. Springer-Verlag.

4. R. Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe, Eindhoven, the Netherlands, June 1989. Springer Verlag.

5. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131–142. ACM, 1983.

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

1. Conclusions;Refinement;2018

2. Uppaal vs Event-B for Modelling Optimised Link State Routing;Lecture Notes in Computer Science;2017

3. A Theory of Service Dependency;Electronic Proceedings in Theoretical Computer Science;2016-06-04

4. Bibliography;From Action Systems to Distributed Systems;2016-04-20

5. Service-Oriented Development of Fault Tolerant Communicating Systems;International Journal of Embedded and Real-Time Communication Systems;2010-04