Distributed and concurrent objects based on linear logic (Invited Talk) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Naoki Kobayashi, Akinori Yonezawa. Distributed and concurrent objects based on linear logic (Invited Talk). In Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, editors, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Volume 139 of IFIP Conference Proceedings, Kluwer, 1999.

The following publications are possibly variants of this publication:

Distributed Concurrent Linear Logic ProgrammingNaoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa. TCS, 227(1-2):185-220, 1999. [doi]

runs on WebDSL