Concurrent constraint programming and linear logic (abstract)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Hi-index | 0.01 |