Login / Signup
The formalization and analysis of CCR protocol and service.
Bairong Zhang
Alistair Munro
Michael Barton
Published in:
FORTE (1994)
Keyphrases
</>
data analysis
formal analysis
distributed systems
information systems
multi agent
distributed databases
service oriented