: A component-based modeling language for concurrent and distributed systems

Download PDF
Open Webpage

Yi Li, Weidi Sun, Meng Sun

Published: 2020, Last Modified: 04 Nov 2025Sci. Comput. Program. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•We propose a new language Mediator to formalize component-based concurrent and distributed system models.•We extend Mediator and its semantics to capture the inherent real-time and asynchronous behavior in distributed systems.•We use CTL* to capture the properties of Mediator models and show the verification of such properties in nuXmv.