Author:
Protti Fábio,França Felipe M. G.,Szwarcfiter Jayme Luiz
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. V. C. BARBOSA, L. M. de A. DRUMMOND, and A. L. H. HELLMUT, From distributed algorithms to Occam programs by successive refinements, The J. of Systems and Software 26 (1994), pp. 257–272.
2. V. C. BARBOSA and F. M. G. FRANCA, Specification of a communication virtual processor for parallel processing systems, in Proc. of Euromicro-88 (1988), pp. 511–518.
3. V. C. BARBOSA and E. GAFNI, Concurrency in heavily loaded neighborhood-constrained systems, ACM Transactions on Programming Languages and Systems 11 (1989), pp. 562–584.
4. V. C. BARBOSA and J. L. SZWARCFITER, Generating all acyclic orientations of an undirected graph, Technical Report ES-405/96, COPPE/Federal University of Rio de Janeiro.
5. I. CIDON and I. S. GOPAL, Dynamic Detection of Subgraphs in Computer Networks, Algorithmica 5 (1990), pp. 277–294.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献