An action system specification of the caltech asynchronous microprocessor-Reference-Cited by-同舟云学术

An action system specification of the caltech asynchronous microprocessor

Published:1995 Issue: Volume: Page:159-179
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Back R. J. R.,Martin A. J.,Sere K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60117-1_9.pdf

Reference19 articles.

1. Report A-1978-4;R. J. R. Back,1978

2. R. J. R. Back. Procedural abstraction in the refinement calculus. Technical Report, Åbo Akademi University, Department of Computer Science. Turku, Finland 1987.

3. R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science. Springer-Verlag, 1990.

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

5. R. J. R. Back, A. J. Martin, and K. Sere. Specification of a Microprocessor. Technical Report, Åbo Akademi University, Department of Computer Science. Ser. A, No 148, Turku, Finland 1992.

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

1. Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors;International Journal of Embedded and Real-Time Communication Systems;2010-04

2. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems;Lecture Notes in Computer Science;2002

3. Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors;Innovations in Embedded and Real-Time Systems Engineering for Communication