A Causal Model anda Declarative ProgrammingLanguagefor Concurrent

@inproceedings{SystemsKarsten1996ACM,
  title={A Causal Model anda Declarative ProgrammingLanguagefor Concurrent},
  author={SystemsKarsten and Bohlmann},
  year={1996}
}
This work presents an approach to the linguistic treatment of concurrent systems which has three main objectives: Declarativity: De nition of (1) a model whose elements are mathematical values each of which represents a system, or a run of a system, in a direct and intuitive way; (2) a syntax whose expressions are mapped into the model by a denotational… CONTINUE READING