Search results
From MaRDI portal
- emerging trends of concurrent constraint programming 2015-06-15 Paper A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic...10 bytes (15 words) - 10:55, 11 December 2023
- Paper A symbolic model for timed concurrent constraint programming 2016-08-01 Paper Proving concurrent constraint programming correct, revisited 2016-08-01...10 bytes (15 words) - 11:11, 6 October 2023
- in concurrent constraint programming 2016-05-10 Paper Proof Search in Nested Sequent Calculi 2016-01-12 Paper Subexponential concurrent constraint programming...10 bytes (15 words) - 11:11, 6 October 2023
- Truly concurrent constraint programming 2023-06-28 Paper Models for concurrent constraint programming 2023-06-28 Paper Probabilistic concurrent constraint...10 bytes (13 words) - 10:22, 12 December 2023
- Models and emerging trends of concurrent constraint programming 2015-06-15 Paper Timed concurrent constraint programming for analysing biological systems...10 bytes (13 words) - 09:58, 6 October 2023
- Truly concurrent constraint programming 2023-06-28 Paper Models for concurrent constraint programming 2023-06-28 Paper Probabilistic concurrent constraint...10 bytes (13 words) - 10:22, 12 December 2023
- constraint programming 2016-05-10 Paper Subexponential concurrent constraint programming 2015-12-08 Paper Bounded memory protocols 2015-03-31 Paper Specifying...10 bytes (13 words) - 11:11, 6 October 2023
- Truly concurrent constraint programming 2023-06-28 Paper Models for concurrent constraint programming 2023-06-28 Paper Probabilistic concurrent constraint...10 bytes (14 words) - 01:45, 11 December 2023
- in Timed Concurrent Constraint Programming 2009-01-22 Paper Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming 2009-01-22...10 bytes (18 words) - 10:57, 7 October 2023
- operators 1998-11-24 Paper Confluence in concurrent constraint programming 1998-07-22 Paper Constraint logic programming with dynamic scheduling: A semantics...10 bytes (15 words) - 03:31, 12 December 2023
- Publication Type Confluence in concurrent constraint programming 2022-08-16 Paper Efficient analysis of concurrent constraint logic programs 2019-03-29 Paper Independence...10 bytes (15 words) - 15:21, 12 December 2023
- 2021-06-23 Paper Slicing concurrent constraint programs 2021-05-20 Paper Efficient analysis of concurrent constraint logic programs 2019-03-29 Paper Abstract...10 bytes (13 words) - 11:26, 12 December 2023
- and fixpoint semantics of concurrent constraint logic programs 2022-08-16 Paper Confluence in concurrent constraint programming 2022-08-16 Paper Proving...10 bytes (13 words) - 00:57, 10 December 2023
- Interval-valued soft constraint problems 2011-01-12 Paper Soft constraint problems with uncontrollable variables 2011-01-06 Paper Constraint Logic Programming 2010-07-20...10 bytes (15 words) - 18:24, 9 December 2023
- problem-solving in concurrent constraint logic programming languages 2000-11-26 Paper Data-parallel concurrent constraint programming 1999-03-02 Paper Constraint satisfaction...10 bytes (16 words) - 05:09, 9 December 2023
- Universal Concurrent Constraint Programming 2009-07-24 Paper A Declarative Framework for Security: Secure Concurrent Constraint Programming 2008-03-11...10 bytes (16 words) - 22:55, 24 September 2023
- equivalences for soft concurrent constraint programming 2017-09-12 Paper A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic...10 bytes (15 words) - 15:43, 24 September 2023
- Abstract diagnosis for timed concurrent constraint programs 2011-08-16 Paper Bridging the Gap between Two Concurrent Constraint Languages 2011-05-27 Paper...10 bytes (13 words) - 01:55, 7 October 2023
- multicast QoS routing with soft-constraint logic programming 2015-09-17 Paper A Secure Non-monotonic Soft Concurrent Constraint Language 2015-06-26 Paper Enumerating...10 bytes (13 words) - 04:33, 7 October 2023
- Observational equivalences for linear logic concurrent constraint languages 2011-08-16 Paper (Co-)Inductive semantics for Constraint Handling Rules 2011-08-16 Paper...10 bytes (13 words) - 23:59, 24 September 2023
