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

mobilityconcurrent constraint programmingconcurrent logic programmingmultiset rewritinghierarchical graph rewritingLMNtalconstraint-based concurrency

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

(30)

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

Describes a project that uses

Uses Software

• GHC
• LMNtal

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)