Contact
|
About
Home
Events
Link Collection
Wiki
Mailinglists
Home
Bibliographies and Surveys
Community Websites
Conferences and Workshops
People
Presentations and Tutorials
Publications
All
By Author
By Topic
By Type
By Year
Research Groups and Projects
Software, Products and Companies
Standards
Search Links:
Top
:
Publications
:
By Author
:
Augustin, L.
D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann
Specification and Analysis of System Architecture Using Rapide
.
IEEE Transactions on Software Engineering
, 21(4):336‒355, 1995.
D. Luckham, J. Vera, D. Bryan, L. Augustin, and F. Belz
Partial orderings of event sets and their application to prototyping concurrent
.
Journal of Systems and Software
, 21(3):253‒265, June 1993.