The following pages link to (Q3325068):
Displaying 7 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions (Q1079373) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- A formal framework for distributed cyber-physical systems (Q2168791) (← links)