Login / Signup

Distributed Termination in CSP: Symmetric Solutions with Minimal Storage.

Jean-Luc Richier
Published in: STACS (1985)
Keyphrases