Pages that link to "Item:Q1348527"
From MaRDI portal
The following pages link to Linear time and branching time semantics for recursion with merge (Q1348527):
Displaying 20 items.
- Denotational linear time semantics and sequential composition (Q671406) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← 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)
- Four domains for concurrency (Q1179700) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes. (Q2760238) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- Time-Complexity Semantics for Feasible Affine Recursions (Q5425322) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
