FDTs in self-adaptive protocol specification

DOI10.1007/3-540-36554-0_9MaRDI QIDQ4419141zbMATH OpenFDO

Authors Zsuzsanna Harangozó, Katalin Tarnay

Publication date 31 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of software (68N99) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• Self-adaptive protocols
• From complex specifications to a working prototype. A protocol engineering case study
• scientific article; zbMATH DE number 1196700
• Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
• A new formal method for communication protocol specification

Cited in

(1)

• Self-adaptive protocols

This page was built for publication: FDTs in self-adaptive protocol specification

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