Concepedia

Fairness assumptions for CSP in a temporal logic framework

Ruurd Kuiper, W.P. deRoever

Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1983 · 34 citations · 0 references

Full text

Open access

Concepts