{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:06Z","timestamp":1725473586800},"reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084804","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"370-385","source":"Crossref","is-referenced-by-count":4,"title":["Timed Ethernet: Real-time formal specification of Ethernet"],"prefix":"10.1007","author":[{"given":"Henri B.","family":"Weinberg","sequence":"first","affiliation":[]},{"given":"Lenore D.","family":"Zuck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, August 1991."},{"key":"27_CR2","unstructured":"D. Bertsekas and R. Gallager. Data Networks. Prentice-Hall, 1987."},{"key":"27_CR3","first-page":"229","volume-title":"Information Processing 77","author":"G. V. Bochmann","year":"1977","unstructured":"G. V. Bochmann and J. Gecsei. A unified method for the specification and verification of protocols. In B. Gilchrist, editor, Information Processing 77, pages 229\u2013234, Amsterdam, 1977. North-Holland Publishing Co."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"COM-28","author":"G. V. Bochmann","year":"1980","unstructured":"G. V. Bochmann and C. A. Sunshine. Formal methods in communication protocol design. IEEE Transactions on Communications, COM-28:624\u2013631, 1980.","journal-title":"IEEE Transactions on Communications"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2):244\u2013263, 1986. An early version appeared in Proceedings of the 10th ACM Symposium on Principles of Programming Languages, 1983.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"1334","DOI":"10.1109\/PROC.1983.12775","volume":"71","author":"J. D. Day","year":"1983","unstructured":"J. D. Day and H. Zimmerman. The OSI reference model. In Proc. of IEEE, volume 71, pages 1334\u20131340, December 1983.","journal-title":"Proc. of IEEE"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"D. Dill. Timing assumption and verification of finite-state concurrent system. In J. Sifakis, editor, Automatic Verification MEthods for Finite State Systems, LNCS 407. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"27_CR8","unstructured":"Michael Fischer and Lenore Zuck, August 1991. Preliminary work on spcification of CSMA\/CD protocols."},{"issue":"5","key":"27_CR9","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1109\/TSE.1980.230491","volume":"SE-6","author":"V. D. Gligor","year":"1980","unstructured":"V. D. Gligor and S. H. Shattuck. On deadlock detection in distributed systems. IEEE Transactions on Software Engineering, SE-6(5):435\u2013440, 1980.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"27_CR10","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TCOM.1983.1095720","volume":"COM-31","author":"B. T. Hailpern","year":"1983","unstructured":"B. T. Hailpern and S. S. Owicki. Modular verification of communication protocols. IEEE Transactions on Communications, COM-31(1):56\u201368, 1983.","journal-title":"IEEE Transactions on Communications"},{"key":"27_CR11","unstructured":"J. L. Hammonds and P. J. P. O'Reilly. Performance Analysis of Local Computer Networks. Addison-Wesley, 1986."},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systesm. Sci. COmp. Prog., 8:231\u2013274, 1987.","journal-title":"Sci. COmp. Prog."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"J. F. Hayes. Modeling and Analysis of Computer Communication Networks. Plenum Press, 1984.","DOI":"10.1007\/978-1-4684-4841-2"},{"key":"27_CR14","unstructured":"T. A. Henzinger. The Temporal Specification and Verification of Real-Time Systems. PhD thesis, Stanford University, August 1991."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proc. of 18th POPL, pages 353\u2013366, 1991.","DOI":"10.1145\/99583.99629"},{"key":"27_CR16","unstructured":"H. R. Lewis. Finiste-state analysis of asynchrocous circuits with bounded temporal uncertainty. Technical Report TR-15-89, Haravard University, 1989."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"N. A. Lynch and M. R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proc. 6th ACM Symp. on Principles of Distributed Computing, pages 137\u2013151, August 1987.","DOI":"10.1145\/41840.41852"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The anchor version of the temporal framework. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching time, and Parital Order Models and Logics for Concurrency, pages 201\u2013284. Springer Verlag, LNCS 354, 1989.","DOI":"10.1007\/BFb0013024"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems (Specification). Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"4","key":"27_CR20","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1109\/TCOM.1976.1093347","volume":"COM-24","author":"P. M. Merlin","year":"1976","unstructured":"P. M. Merlin. A methodology for the design and implementation of communication protocols. IEEE Transactions on Communications, COM-24(4):614\u2013621, 1976.","journal-title":"IEEE Transactions on Communications"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"M. Merritt, F. Modugno, and M. Tuttle. Time constrained automata. Manuscript, August 1990.","DOI":"10.1007\/3-540-54430-5_103"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"R. M. Metcalfe and D. R. Boggs. Ethernet: Distributed packet swithching for local computer networks. Communications of the ACM, 19:395\u2013404, July 76.","DOI":"10.1145\/360248.360253"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating processes. In J. C. M. Baeton and J. W. Klop, editors, CONCUR 90, LNCS 458, pages 401\u2013415. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"27_CR24","unstructured":"J. Orsroff. Temporal Logic of Real Time Systems. Research Studies Press, 1990."},{"issue":"3","key":"27_CR25","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"S. Owicki and L. Lamport. Proving liveness properties of concurrent programs. ACM Trans. on Programming Languages and Systems, 4(3):455\u2013495, 1982.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundations of Computer Science, pages 46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proc. 5th Int'l Symp. on Programming, 1981.","DOI":"10.1007\/3-540-11494-7_22"},{"key":"27_CR28","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G. M. Reed","year":"1988","unstructured":"G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249\u201326, 1988.","journal-title":"Theoretical Computer Science"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"R. L. Schwartz and P. M. Melliar-Smith. From state machines to temporal logic: Specification methods for protocol standards. IEEE Transactions on Communications, 1982.","DOI":"10.1109\/TCOM.1982.1095451"},{"key":"27_CR30","unstructured":"S. R. Soloway and P. A. Humblet. On distributed network protocols for changing topologies. Technical Report LIDS-P-1564, MIT, 1986."},{"key":"27_CR31","volume-title":"Information Processing Systems-Local Area Networks-Part 3: Carrier sense multiple access with collision detection (CSMA\/CD) access method and physical layer specificaitons","author":"ANSI\/IEEE std.","year":"1991","unstructured":"ANSI\/IEEE std. Information Processing Systems-Local Area Networks-Part 3: Carrier sense multiple access with collision detection (CSMA\/CD) access method and physical layer specificaitons. The IEEE, Inc., NY, October 1991."},{"key":"27_CR32","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MC.1979.1658889","volume":"12","author":"C. A. Sunshine","year":"1979","unstructured":"C. A. Sunshine. Formal techniques for protocol specification and verification. IEEE Computer, 12:20\u201327, 1979.","journal-title":"IEEE Computer"},{"key":"27_CR33","unstructured":"A. Tanenbaum. Computer Networks. Prentice Hall, 2nd edition, 1989."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084804.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:29Z","timestamp":1607551649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0084804","relation":{},"subject":[]}}