Constructing submodule specifications and network protocols

DOI10.1109/32.9045MaRDI QIDQ3823806zbMATH OpenOpenAlexWikidataFDO

Authors Deepinder P. Sidhu, Juan Aristizabal

Publication date 1988

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.9045

zbMATH Keywords

deterministic finite-state automatonprotocol verificationtransition net specification

Mathematics Subject Classification ID

Theory of software (68N99) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1973973
• Using logic to solve the submodule construction problem
• Systems specification by basic protocols
• The synthesis of communication protocols
• scientific article; zbMATH DE number 3926217

Cited in

(4)

• Factorisation of finite state machines under strong and observational equivalences
• A network protocol stack in standard ML
• An improvement of algorithms for solving interface equations
• scientific article; zbMATH DE number 1973973 (Why is no real title available?)

This page was built for publication: Constructing submodule specifications and network protocols

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