A Logic For Distributed Processes (Q3809776)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Logic For Distributed Processes |
scientific article |
Statements
A Logic For Distributed Processes (English)
0 references
1989
0 references
synchronous bit-processing architecture
0 references
decision procedure
0 references
logic for distributed processes
0 references
computability
0 references
programming theorem
0 references
algorithm for constructing arbitrary distributed programs from given input/output semantics
0 references