Relational Semantics of Concurrent Programs (With Some Applications).
Eike BestPublished in: Formal Description of Programming Concepts (1982)
Keyphrases
- concurrent programs
- process algebra
- concurrent systems
- formal specification
- asynchronous circuits
- formal methods
- model checking
- relational databases
- web services composition
- relational model
- formal semantics
- communication protocols
- data model
- information systems
- conceptual model
- database
- programming environment
- knowledge representation
- formal languages