Inproceedings,

Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.

.
ICALP, volume 1443 of Lecture Notes in Computer Science, page 695-706. Springer, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews