Relational Semantics of Strongly Communicating Sequential Processes.
Pedro GuerreiroPublished in: ICFPC (1981)
Keyphrases
- communication channels
- relational data
- relational learning
- databases
- relational databases
- data model
- formal semantics
- relational query languages
- data sets
- object identity
- relational structures
- workflow management systems
- default reasoning
- computational models
- conceptual model
- logic programming
- object oriented
- information systems