Author:
Herrmann Peter,Krumm Heiko
Subject
Computer Networks and Communications
Reference45 articles.
1. Defining liveness;Alpern;Inform. Proc. Lett.,1985
2. Decentralization of process nets with a centralized control;Back;Distrib. Comp.,1989
3. M. Broy, F. Huber, B. Paech, B. Rumpe, K. Spies, Software and system modeling based on a unified formal semantics, in: M. Broy, B. Rumpe (Eds.), Proceedings of the RTSE'97, Lecture Notes in Computer Science, vol. 1526, Springer, Berlin, 1998
4. Estelle development toolset;Budkowski;Comp. Netw. and ISDN Sys.,1992
5. Parallel Program Design — A Foundation;Chandy,1988
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing;2021
2. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2020
3. Formal Model-Based Development in Industrial Automation with Reactive Blocks;Software Technologies: Applications and Foundations;2016
4. Utilizing UML, cTLA, and SRN;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2015
5. Compositional Verification of Application-Level Security Properties;Lecture Notes in Computer Science;2013