On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols.
Purnendu SinhaDa Qi RenPublished in: IASTED PDCS (2002)
Keyphrases
- distributed systems
- cooperative
- fault tolerant
- formal methods
- distributed environment
- multi party
- high level
- specification language
- distributed database systems
- information systems
- asynchronous circuits
- general theory
- conceptual model
- hierarchical structure
- database
- communication cost
- computer networks
- speech acts
- peer to peer
- formal languages