View of Modeling Communication Semantics for Distributed Systems in Event-B

Return to Article Details Modeling Communication Semantics for Distributed Systems in Event-B Download Download PDF