Development of Veda, a prototyping tool for distributed algorithms
- 1 March 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (3), 339-352
- https://doi.org/10.1109/32.4654
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systemsIEEE Transactions on Software Engineering, 1986
- A metaprogramming method and its economic justificationIEEE Transactions on Software Engineering, 1986
- A rational design process: How and why to fake itIEEE Transactions on Software Engineering, 1986
- Attacking a complex distributed algorithm from different sides: an experience with complementary validation toolsComputer Networks and ISDN Systems, 1985
- Prolog in 10 figuresCommunications of the ACM, 1985
- OCCAMACM SIGPLAN Notices, 1983
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Communicating sequential processesCommunications of the ACM, 1978