Pages that link to "Item:Q919839"
From MaRDI portal
The following pages link to Specifying concurrent objects as communicating processes (Q919839):
Displaying 13 items.
- Specification of concurrent objects using auxiliary variables (Q808725) (← links)
- Views of queues (Q1116323) (← links)
- Derivation of concurrent programs: Two examples (Q1199832) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract) (Q1664155) (← links)
- A specification formalism for interacting objects (Q2718776) (← links)
- (Q3763575) (← links)
- Application of the composition principle to unity-like specifications (Q5044739) (← links)
- Constructing systems as object communities (Q5044754) (← links)
- Fairness and hyperfairness (Q5137907) (← links)
- Integrated Formal Methods (Q5901614) (← links)
- Bounded stacks, bags and queues (Q6044112) (← links)