Search Results - "distributed concurrent linear logic programming"

Distributed concurrent linear logic programming

Authors: N. Kobayashi T. Shimizu A. Yonezawa

Source: Theoretical Computer Science. 227:185-220

Subject Terms: Concurrency, Theory of programming languages, Distributed computation, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, Linear logic programming, distributed concurrent linear logic programming, Logic programming, Theoretical Computer Science, Computer Science(all)

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/tcs/tcs227.html#KobayashiSY99
https://www.sciencedirect.com/science/article/pii/S0304397599000523