Frank Belz and David C. Luckham.
A new approach to prototyping Ada-based hardware/software systems.
In Proceedings of the ACM Tri-Ada Conference, Baltimore,
December 1990. ACM Press.
Frank C. Belz, David C. Luckham, and James M. Purtilo.
Application of ProtoTech technology to the DSSA program.
In Proceedings of the DARPA Software Technology Conference,
pages 234-236, Los Angeles, California, April 1992. DARPA.
Doug Bryan.
Using rapide to model and specify inter-object beahvior.
In OOPSLA '94 workshop on Precise behavioral specifications in
OO information modeling, Oct. 24, 1994.
John. J. Kenney.
Banking on X/Open.
To appear as a Stanford University Technical Report, 1993.
John J. Kenney.
Executable Formal Models of Distributed Transaction Systems
based on Event Processing.
PhD thesis, Stanford University, December 1995.
Forthcoming Stanford Dissertation.
D. Katiyar, D. C. Luckham, N. Madhav, S. Meldal, J. C. Mitchell, and S. Sankar.
Subtyping, assignment, and cloning in a concurrent object-oriented
language.
In Proceedings of the DARPA Software Technology Conference,
pages 458-470, Los Angeles, California, April 1992. DARPA.
Dinesh Katiyar, David Luckham, Sigurd Meldal and John Mitchell.
Polymorphism and subtyping in interfaces. J.M. Wing (Ed),
Carnegie-Mellon University. January 1994, pp. 23-34.
The proceedings are also published as SIGPLAN Notices 29, 8 (August 1994).
Dinesh Katiyar, David Luckham, and John Mitchell.
A type system for prototyping languages.
In Proc. 21-st ACM Symp. on Principles of Programming Languages,
Portland, 1994.
David C. Luckham and Benoit A. Gennart.
Event patterns: a language construct for hierarchical design of
concurrent systems.
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan,
and Walter Mann.
Specification and analysis of system architecture using Rapide.
to appear, IEEE Transactions on Software Engineering, 1995.
David C. Luckham and James Vera.
Event based concepts and language for system architecture.
In Proceedings of the Workshop on Studies of Software Design,
May 1993.
David C. Luckham, James Vera, Doug Bryan, Larry Augustin, and Frank Belz.
Partial orderings of event sets and their application to prototyping
concurrent, timed systems.
Journal of Systems and Software, 21(3):253-265, June 1993.
Neel Madhav and Sigurd Meldal. An object-oriented approach to formal
specification of reactive systems. In Proceedings of the 11th
International Conference on Distributed Computing Systems, IEEE
Computer Society, 1991, pp. 134-141.
Walter Mann, Frank C. Belz, and Paul Corneil.
A Rapide-1.0 definition of the ADAGE avionics system.
Technical Report CSL-TR-93-585, Computer Systems Lab, Stanford
University, November 1993.
Sigurd Meldal. Supporting Architecture Mappings in Concurrent Systems
Design. In Proceedings of Australian Software Engineering Conference
'90, IREE Australia, May 1990.
Sigurd Meldal, Sriram Sankar, and James Vera.
Exploiting locality in maintaining potential causality.
In Proceedings of the Tenth Annual ACM Symposium on Principles
of Distributed Computing, pages 231-239, New York, NY, August 1991. ACM
Press.
Also Stanford University Computer Systems Laboratory Technical Report
No. CSL-TR-91-466.
John Mitchell, Sigurd Meldal, and Neel Madhav.
An extension of standard ML modules with subtyping and inheritance.
In Proceedings of the ACM conference on POPL 1991. ACM Press,
January 1991.
Also Stanford University Computer Systems Laboratory Technical Report
No. CSL-TR-91-472.
A. Santoro.
Case study in prototyping with Rapide: Shared memory multiprocessor
system.
Technical Report CSL-TR-93-564, Computer Systems Laboratory,
Stanford University, March 1993.
Alexandre Santoro and Woosang Park.
SPARC-V9 architecture specification with Rapide.
to appear, Stanford CSL Technical Report, 1995.
Rapide Design Team.
The Rapide-1 Architectures Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
Rapide Design Team.
The Rapide-1 Executable Language Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
Rapide Design Team.
The Rapide-1 Pattern Language Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
Rapide Design Team.
The Rapide-1 Predefined Types Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
Rapide Design Team.
The Rapide-1 Specification Language Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
Rapide Design Team.
The Rapide-1 Types Reference Manual.
Program Analysis and Verification Group, Computer Systems Lab.,
Stanford University, version 1 edition, October 1994.
James Vera, Alex Santoro, and Moataz Mohamed.
Raptor - The Rapide Animator.
Stanford University, Computer Systems Lab ERL 456, Stanford, CA
94305-4055, 1994.
