Author:
Shankland Carron,Verdejo Alberto
Subject
Computer Networks and Communications
Reference21 articles.
1. T. Bolognesi, A graphical composition theorem for networks of LOTOS processes, in: Proceedings of the 10th International Conference on Distributed Computing Systems, IEEE, Washington, USA, 1990, pp. 88–95
2. M. Calder, S. Maharaj, C. Shankland, A modal logic for Full LOTOS based on symbolic transition systems, The Computer Journal 45 (1) (2002), to appear
3. Model Checking;Clarke,1999
4. M.C.A. Devillers, W.O.D. Griffioen, J. Romijn, F. Vaandrager, Verification of a leader election protocol – Formal methods applied to IEEE 1394, Technical Report CSI-R9728, Computing Science Institute, University of Nijmegen, 1997
5. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1985
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Four Formal Models of IEEE 1394 Link Layer;Electronic Proceedings in Theoretical Computer Science;2024-03-27
2. From LOTOS to LNT;ModelEd, TestEd, TrustEd;2017
3. IEEE 1394 Tree Identify Protocol: Introduction to the Case Study;Formal Aspects of Computing;2003-04