Constraint-based concurrency and beyond

DOI10.1016/J.ENTCS.2005.12.103MaRDI QIDQ5262978zbMATH OpenOpenAlexFDO

Authors Kazunori Ueda

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.103

zbMATH Keywords

concurrent constraint programmingconcurrent logic programmingconstraint-based concurrencyhierarchical graph rewritingLMNtalmobilitymultiset rewriting

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2085264
• LMNtal as a hierarchical logic programming language
• Encoding distributed process calculi into LMNtal
• Models for concurrent constraint programming
• Graph rewriting for a partial ordering semantics of concurrent constraints programming

Cites work

• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• Membrane Computing

Cited in

(31)

• LMNtal as a hierarchical logic programming language
• Bounded-wait merge in Shapiro's concurrent Prolog
• Hybrid concurrency control for abstract data types
• Four domains for concurrency
• GOFFIN: Higher-order functions meet concurrent constraints
• Confluence in concurrent constraint programming
• Restrictions and representations of vector controlled concurrent system behaviours
• Alternation and bounded concurrency are reverse equivalent.
• Constraints meet concurrency
• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• Reflections on the future of concurrency theory in general and process calculi in particular
• Bisimilarity in concurrent constraint programming
• Saturation of Concurrent Collapsible Pushdown Systems
• On the Implementation of Speculative Constraint Processing
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• The Complexity of Reliable Concurrency Control
• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• scientific article; zbMATH DE number 2085264 (Why is no real title available?)
• Primitives for contract-based synchronization
• Constraints for polymorphic behaviours of concurrent ML
• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
• scientific article; zbMATH DE number 6316140 (Why is no real title available?)
• scientific article; zbMATH DE number 5019549 (Why is no real title available?)
• Membrane Computing
• Theoretical Aspects of Computing – ICTAC 2005
• LMNtal as a Unifying Declarative Language: Live Demonstration
• scientific article; zbMATH DE number 970734 (Why is no real title available?)
• Quantaloids for concurrency
• Beyond contracts for concurrency
• Cameo: an alternative model of concurrency for Eiffel
• Contractions in comparing concurrency semantics

Describes a project that uses

Uses Software

• LMNtal
• GHC

This page was built for publication: Constraint-based concurrency and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262978)