\(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs

DOI10.1007/BF02946505zbMath0910.68039MaRDI QIDQ1273083

Zhen-Yu Wang

Publication date: 12 April 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

Ada softwarerendezvous ordering graph

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15)

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item

This page was built for publication: \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs