scientific article; zbMATH DE number 2062236
From MaRDI portal
Publication:4459112
zbMATH Open1098.68530MaRDI QIDQ4459112FDOQ4459112
Publication date: 25 March 2004
Title of this publication is not available (Why is that?)
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 (1)
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)
