scientific article; zbMATH DE number 1809625
From MaRDI portal
Publication:3150207
Recommendations
Cited in
(41)- Decidability of infinite-state timed CCP processes and first-order LTL
- On validity in modelization of musical problems by CCP
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
- Linear time-dependent constraints programming with MSVL
- A multi-agent model for polarization under confirmation bias in social networks
- Models and emerging trends of concurrent constraint programming
- On concurrent behaviors and focusing in linear logic
- On subexponentials, focusing and modalities in concurrent systems
- Verification of spatial and temporal modalities in biochemical systems
- Semantics for temporal annotated constraint logic programming
- Dynamic spaces in concurrent constraint programming
- Timed concurrent constraint programming for analysing biological systems
- Structured interactive musical scores
- Bridging the gap between two concurrent constraint languages
- Labeled calculi applied to verification and analysis of time-concerned programs. I
- Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
- Deriving inverse operators for modal logic
- Semantic structures for spatially-distributed multi-agent systems
- A declarative view of signaling pathways
- scientific article; zbMATH DE number 4060695 (Why is no real title available?)
- scientific article; zbMATH DE number 1954110 (Why is no real title available?)
- scientific article; zbMATH DE number 2084713 (Why is no real title available?)
- scientific article; zbMATH DE number 1497788 (Why is no real title available?)
- scientific article; zbMATH DE number 1536572 (Why is no real title available?)
- Abstract interpretation of temporal concurrent constraint programs
- A concurrent constraint programming interpretation of access permissions
- scientific article; zbMATH DE number 2084776 (Why is no real title available?)
- scientific article; zbMATH DE number 2087421 (Why is no real title available?)
- scientific article; zbMATH DE number 2087501 (Why is no real title available?)
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Proving correctness of timed concurrent constraint programs
- A symbolic model for timed concurrent constraint programming
- Proving concurrent constraint programming correct, revisited
- TCC, with history
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- Lectures on Concurrency and Petri Nets
- A Formal Model for Polarization under Confirmation Bias in Social Networks
- TimeC: A time constraint language for ILP processor compilation
- Subexponential concurrent constraint programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3150207)
