A unified algebraic framework for specifying communication protocols
暂无分享,去创建一个
[1] Amir Pnueli,et al. The Glory of the Past , 1985, Logic of Programs.
[2] Mohamed Jmaiel. Development of communication protocols with algebraic temporal specifications , 1996 .
[3] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[4] Wolfgang Grieskamp,et al. OPAL: Design and Implementation of an Algebraic Programming Language , 1994, Programming Languages and System Architectures.
[5] James L. Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[6] Mohamed Jmaiel. Specification of communication protocols using temporal logic , 1996, J. Syst. Softw..
[7] J. Abrial. Programming as a mathematical exercise , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[8] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[10] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[11] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[12] Fred Krögr. Temporal Logic Of Programs , 1987 .
[13] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[14] Graeme Smith,et al. Temporal Logic and Z Specifications , 1989, Aust. Comput. J..
[15] Hartmut Ehrig,et al. Algebraic High-Level Nets: Petri Nets Revisited , 1992, COMPASS/ADT.
[16] P. M. Melliar-Smith,et al. Interval Logic: A Higher-Level Temporal Logic for Protocol Specification , 1983, Protocol Specification, Testing, and Verification.
[17] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[18] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[19] Ron Koymans,et al. Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.
[20] Manfred Broy,et al. Requirement and Design Specification for Distributed Systems , 1988, Concurrency.
[21] Mohamed Jmaiel,et al. An algebraic-temporal specification of a CSMA/CD-protocol , 1995, PSTV.
[22] Leslie Lamport,et al. Specifying Concurrent Program Modules , 1983, TOPL.
[23] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[24] Colin J. Fidge. Specification and Verification of Real-Time Behaviour Using Z and RTL , 1992, FTRTFT.