A language for the logical specification of processes and relations
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 150-164
- https://doi.org/10.1007/3-540-61735-3_10
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A linear logical frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient resource management for linear logic proof searchPublished by Springer Nature ,1996
- A language for the logical specification of processes and relationsPublished by Springer Nature ,1996
- Asynchronous communication model based on linear logicFormal Aspects of Computing, 1995
- Logic Programming in a Fragment of Intuitionistic Linear LogicInformation and Computation, 1994
- Concurrent Constraint ProgrammingPublished by MIT Press ,1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation, 1991
- Linear logicTheoretical Computer Science, 1987