Naoshi Uchihira, Shinichi Honiden Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:207-221 [Journal]
Richard H. Carver Testing abstract distributed programs and their implementations: A constraint-based approach. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:223-237 [Journal]
Jean-Paul Gaspoz Methodology for the development of distributed telecommunications services. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:253-271 [Journal]
Ulrich Nitsche Verification and behavior abstraction towards a tractable verification technique for large distributed systems. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:273-285 [Journal]
Mohamed Jmaiel Specification of communication protocols using temporal logic. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:299-312 [Journal]
Yosi Ben-Asher, Gadi Haber On the usage of simulators to detect inefficiency of parallel programs caused by "bad" schedulings: The Simparc approach. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:33, n:3, pp:313-327 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP