The following pages link to (Q3713578):
Displaying 15 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- Nondeterministic data flow programs: How to avoid the merge anomaly (Q1095640) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Linear dynamic Kahn networks are deterministic (Q1128478) (← links)
- Declarative operations on nets (Q1202674) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- A non-standard semantics for Kahn networks in continuous time (Q2915672) (← links)
- (Q3325084) (← links)
- (Q3774955) (← links)
- (Q4219024) (← links)
- (Q4222772) (← links)
- (Q4264232) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)