Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 28)
Included in the following conference series:
- FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- PSTV: International Conference on Protocol Specification, Testing and Verification
Conference proceedings info: FORTE 1999, PSTV 1999.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(28 chapters)
-
Invited Talk I
-
Invited Talk II
About this book
- FDT-based system and protocol engineering;
- FDT application to distributed systems;
- Protocol engineeering;
- Practical experience and case studies.
Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.
Editors and Affiliations
-
Tsinghua University, China
Jianping Wu
-
Hong Kong University of Science & Technology, China
Samuel T. Chanson
-
IVT, China
Qiang Gao
Bibliographic Information
Book Title: Formal Methods for Protocol Engineering and Distributed Systems
Book Subtitle: Forte XII / PSTV XIX’99
Editors: Jianping Wu, Samuel T. Chanson, Qiang Gao
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35578-8
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1999
Hardcover ISBN: 978-0-7923-8646-9Published: 30 September 1999
Softcover ISBN: 978-1-4757-5270-0Published: 18 April 2013
eBook ISBN: 978-0-387-35578-8Published: 05 June 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XII, 500
Topics: Computer Communication Networks, Theory of Computation, Electrical Engineering, Artificial Intelligence, Processor Architectures