The following pages link to (Q3992422):
Displaying 7 items.
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Failure-equivalent transformation of transition systems to avoid internal actions (Q1209375) (← links)
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (Q1318283) (← links)
- Specification and analysis of a composition of protocols (Q1801467) (← links)
- Testability of a communicating system through an environment (Q5044760) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
