Back to Results
First PageMeta Content
Quasigroup / Applied mathematics / Predicate transformer semantics / Mathematics / Differential equation / FO


Inference of progress properties for (multi party) sessions
Add to Reading List

Document Date: 2011-04-28 12:54:52


Open Document

File Size: 110,31 KB

Share Result on Facebook
UPDATE