Pages that link to "Item:Q3975030"
From MaRDI portal
The following pages link to Concurrency semantics based on metric domain equations (Q3975030):
Displaying 10 items.
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Order and metric in the stream semantics of elemental concurrency (Q1085602) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- (Q3787461) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)