Browsing parallel process networks

Authors:
P. David Scotts;Richard Furuta
Affiliations:
-;-
Venue:
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Year:
1990

Citing 0
Cited 3

Hyperdocuments as automata: trace-based browsing property verification

ECHT '92 Proceedings of the ACM conference on Hypertext
Dynamic hyperdocuments: authoring replaces programming

Communications of the ACM
Hyperdocuments as automata: verification of trace-based browsing properties by model checking

ACM Transactions on Information Systems (TOIS)

Quantified Score

Hi-index	0.02

Visualization

Abstract