Defining Actions in Concurrent Declarative Programming
From MaRDI portal
Publication:2841291
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)
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N17: Logic programming
Uses Software
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