EJC on Marek Rychlýhttps://www.rychly.org/tags/ejc/Recent content in EJC on Marek RychlýHugoen&copy; 2024. All rights reserved.Fri, 15 Jan 2016 00:00:00 +0000A Reusable Framework for Systems of Asynchronous Concurrent Processeshttps://www.rychly.org/pub/conference/ejc06_reusable-framework-for-acp-systems/Fri, 15 Jan 2016 00:00:00 +0000https://www.rychly.org/pub/conference/ejc06_reusable-framework-for-acp-systems/<ol> <li>Introduction</li> <li>Asynchronous Network Model</li> <li>Framework Architecture <ol> <li>Vertical View</li> <li>Horizontal View</li> <li>Framework Model</li> </ol> </li> <li>Discussion <ol> <li>Relation to Formal Specification and Verification</li> </ol> </li> <li>Conclusion</li> </ol>