scientific article; zbMATH DE number 2062236

MaRDI QIDQ4459112zbMATH OpenFDO

Authors Monika Kapus-Kolar

Publication date 25 March 2004

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14)

Recommendations

• Comments on deriving protocol specifications from service specifications written in LOTOS
• Deriving protocol specifications from service specifications written in LOTOS
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets
• Automated synthesis of distributed self-stabilizing protocols
• Decomposing service definition in predicate/transition-nets for designing distributed systems

Cited in

(3)

• Deriving protocol specifications from service specifications written in LOTOS
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Decomposing service definition in predicate/transition-nets for designing distributed systems

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 Q4459112)