Pages that link to "Item:Q1329197"
From MaRDI portal
The following pages link to Process algebra with guards: Combining hoare logic with process algebra (Q1329197):
Displayed 10 items.
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- The algebra of communicating processes with empty process (Q1391788) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)