Behavioural approach to OSI system design
暂无分享,去创建一个
Giuseppe Pappalardo | Vincenza Carchiolo | Antonella Di Stefano | Alberto Faro | A. Stefano | G. Pappalardo | A. Faro | V. Carchiolo
[1] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..
[2] Willem P. de Roever,et al. A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..
[3] Vincenza Carchiolo,et al. A tool for the automated verification of eccs specifications of osi protocols , 1988 .
[4] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.
[5] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[6] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[7] Giuseppe Pappalardo. Experiences with a Verification and Simulation Tool for Behavioural Languages , 1987, PSTV.
[8] Michal Sajkowski. Protocol Verification Techniques: Status Quo and Perspectives , 1984, PSTV.
[9] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[10] Rune Gustavsson,et al. Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic , 1984, PSTV.
[11] Giuseppe Pappalardo,et al. A LOTOS Specification of the PROWAY Highway Service , 1986, IEEE Transactions on Computers.
[12] T. F. Paitkowski. The state of the art in protocol engineering , 1986, SIGCOMM '86.
[13] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[14] Thomas F. Piatkowski,et al. A formal comparison of formal protocol specification techniques , 1985, PSTV.