The IC system for protocol development
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
The IC* Model of Parallel Computation and Programming Environment
IEEE Transactions on Software Engineering
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Hi-index | 0.00 |