Pages that link to "Item:Q5137326"
From MaRDI portal
The following pages link to Deriving protocol specifications from service specifications written in LOTOS (Q5137326):
Displaying 4 items.
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- A framework based on implementation relations for implementing LOTOS specifications (Q4697196) (← links)
- (Q4790348) (← links)
- Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (Q5138481) (← links)