Defining actions in concurrent declarative programming

DOI10.1016/S1571-0661(04)80350-5MaRDI QIDQ2841291zbMATH OpenFDO

Authors Rachid Echahed, Wendelin Serwe

Publication date 24 July 2013

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

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reasoning about effects of concurrent actions
• A general theory of action languages
• Model-theoretical foundation of action and progression
• scientific article; zbMATH DE number 1696803
• A declarative agent programming language based on action theories

Cites work

• scientific article; zbMATH DE number 1696803 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 683350 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 866628 (Why is no real title available?)
• scientific article; zbMATH DE number 867332 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Concurrent Programming in ML
• Generative communication in Linda
• Guarded commands, nondeterminacy and formal derivation of programs
• Interactive foundations of computing
• Maude: specification and programming in rewriting logic
• Revised report on the algorithmic language scheme
• Truly concurrent constraint programming

Describes a project that uses

Uses Software

• TK
• Linda
• Erlang
• LISP
• Oz
• Maude
• Haskell
• ML

This page was built for publication: Defining actions in concurrent declarative programming

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