Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/amast/JagadeesanJ95
AU - Jagadeesan, Lalita Jategaonkar
AU - Jagadeesan, Radha
TI - Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).
BT - Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings
SP - 277
EP - 291
PY - 1995//
DO - 10.1007/3-540-60043-4_59
UR - https://doi.org/10.1007/3-540-60043-4_59
ER -