Pages that link to "Item:Q1082070"
From MaRDI portal
The following pages link to Merging regular processes by means of fixed-point theory (Q1082070):
Displaying 7 items.
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
