Login / Signup
A distributed operational semantics for a parallel functional language.
Mercedes Hidalgo-Herrero
Yolanda Ortega-Mallén
Published in:
Scottish Functional Programming Workshop (2000)
Keyphrases
</>
operational semantics
functional language
functional programming
multi agent
distributed systems
distributed environment
mental states
data model
programming language
formal semantics
high level
software engineering
distributed database systems
speech acts
model theoretic