Defining Actions in Concurrent Declarative Programming

DOI10.1016/S1571-0661(04)80350-5zbMath1268.68125MaRDI QIDQ2841291

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

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

Uses Software

• Unnamed Item
• Haskell
• Maude
• Oz
• LISP
• Erlang
• Linda
• TK

Cites Work

• Interactive foundations of computing
• Revised report on the algorithmic language scheme
• Truly concurrent constraint programming
• Maude: specification and programming in rewriting logic
• Guarded commands, nondeterminacy and formal derivation of programs
• Concurrent Programming in ML
• Generative communication in Linda
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Defining Actions in Concurrent Declarative Programming