Transactions in RCCS

By Vincent Danos, Jean-Louis Krivine. International Conference on Concurrency Theory, 2005

321 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/9ff26074cce9d8e6d86cbe1565ad24f23d3d19e4