Analyzing Semantics of Concurrent Hardware Specifications.
Leonid Ya. RosenblumAlexandre YakovlevPublished in: ICPP (3) (1989)
Keyphrases
- specification language
- hardware and software
- formal semantics
- operational semantics
- control flow
- low cost
- real time
- formal language
- hardware implementation
- logic programming
- computing power
- mutual exclusion
- attribute grammars
- personal computer
- parallel hardware
- information systems
- blue gene
- written in natural language
- semantic representation
- control program
- semantic constraints
- conceptual model
- web services
- neural network