scientific article; zbMATH DE number 2040844

MaRDI QIDQ4451953zbMATH OpenFDO

Authors Zheng Xiaojuan, Xu Tao, Jin Ying

Publication date 11 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2745/27450391.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2050904
• scientific article; zbMATH DE number 1964968
• scientific article; zbMATH DE number 2202251
• PLAN: a packet language for active networks
• scientific article; zbMATH DE number 2200725

Cited in

(6)

• scientific article; zbMATH DE number 1717238 (Why is no real title available?)
• Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
• scientific article; zbMATH DE number 1964968 (Why is no real title available?)
• scientific article; zbMATH DE number 2050904 (Why is no real title available?)
• scientific article; zbMATH DE number 2202251 (Why is no real title available?)
• Towards Certifying Network Calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451953)