Pages that link to "Item:Q1190488"
From MaRDI portal
The following pages link to Conditional rewriting logic as a unified model of concurrency (Q1190488):
Displayed 6 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Theorem proving in a mathematical information environment (Q1288657) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Verifying a distributed list system: A case history (Q1355754) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)