Pages that link to "Item:Q1081296"
From MaRDI portal
The following pages link to A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296):
Displaying 18 items.
- Amorphous computing: examples, mathematics and theory (Q272778) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Computable concurrent processes (Q673972) (← links)
- A fixed point approach to parallel discrete event simulation (Q758225) (← links)
- A model of concurrency with fair merge and full recursion (Q808690) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- (Q3349963) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
