The following pages link to (Q3347277):
Displaying 12 items.
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog (Q1075767) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← 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)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- Linear time and branching time semantics for recursion with merge (Q1348527) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- (Q3819986) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← 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)
