Add to ORKGwhich can be summarized as "concurrent computations as monadic expressions"
This paper has the purpose of reviewing some of the established relationships between logic and conc...
AbstractConcurrentMetateMis a programming language based on the notion of concurrent, communicating ...
Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computat...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
Abstract. We present the propositional fragment CLF0 of the Concur-rent Logical Framework (CLF). CLF...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
AbstractThis paper proposes a constructive logic in which a concurrent system can be defined as a pr...
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. ...
The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...
Concurrent Constraint Programming (CCP) has been the subject of growing interest as the focus of a n...
AbstractRewriting with conditional rewrite rules modulo a set E of structural axioms provides a gene...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
We introduce a novel way to integrate functional and concurrent programming based on intuitionistic...
This paper has the purpose of reviewing some of the established relationships between logic and conc...
AbstractConcurrentMetateMis a programming language based on the notion of concurrent, communicating ...
Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computat...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
Abstract. We present the propositional fragment CLF0 of the Concur-rent Logical Framework (CLF). CLF...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
AbstractThis paper proposes a constructive logic in which a concurrent system can be defined as a pr...
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. ...
The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...
Concurrent Constraint Programming (CCP) has been the subject of growing interest as the focus of a n...
AbstractRewriting with conditional rewrite rules modulo a set E of structural axioms provides a gene...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
We introduce a novel way to integrate functional and concurrent programming based on intuitionistic...
This paper has the purpose of reviewing some of the established relationships between logic and conc...
AbstractConcurrentMetateMis a programming language based on the notion of concurrent, communicating ...
Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computat...