Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 1 of 1 for q-et-s .

Sort by date, Sort by relevance.

Results

1. tmfs.dvi

s. 8. which guard their differences. Indeed, over untimed models this recursionhas as a fixed point any process of the form a Q, for Q a process whichcannot communicate an a ... 1. 〈〉 Traces(S). 18. 2. (s.w, ) Fail(S) (s, begin(w)) Fail(S)3.

www.cs.ox.ac.uk/people/bill.roscoe/publications/60.pdf- 296k - 27 Apr 2005 - Cached

Result Page

1 , .




Enquiries to Webmaster | Powered by Funnelback Search