scientific article; zbMATH DE number 683349

zbMath0942.68539MaRDI QIDQ4312468

Radha Jagadeesan, Vineet Gupta, Vijay Saraswat

Publication date: 1 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Artificial intelligence (68T99)

Related Items

A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming ⋮ Slicing concurrent constraint programs ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Models for concurrent constraint programming ⋮ Bridging the Gap between Two Concurrent Constraint Languages ⋮ The tccp Interpreter ⋮ Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ Timed Term Rewrite Systems ⋮ Non-determinism and Probabilities in Timed Concurrent Constraint Programming ⋮ Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming ⋮ Models and emerging trends of concurrent constraint programming ⋮ Truly concurrent constraint programming ⋮ A multi-agent model for polarization under confirmation bias in social networks