Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. In: Proceedings of LICS 1993. IEEE Computer Society Press, Los Alamitos (1993)
2. Lecture Notes in Computer Science;B. Bollig,2004
3. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2) (1983)
4. Cécé, G., Finkel, A., Purushothaman Iyer, S.: Unreliable channels are easier to verify than perfect channels. Information and Computation 124(1) (1996)
5. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Causal Message Sequence Charts;Theoretical Computer Science;2009-09
2. Weighted Distributed Systems and Their Logics;Logical Foundations of Computer Science;2007
3. Weighted Logics for Traces;Computer Science – Theory and Applications;2006
4. Dags and Asynchronous Cellular Automata;Formal Models of Communicating Systems