Abstract: Graphical Specification Language for distributed systems (LeGESD) is a formal language for the specification and analysis of distributed systems including their functional and communication ...

LeGESD allows a modular, hierarchical and scalable specification of a distributed system. LeGESD supports a graphical notation defining communication and dynamic behavior aspects. The semantics of ...