Results 1 - 1 of 1 for q-et-s .
Sort by date, Sort by relevance.
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
1 , .
Enquiries to Webmaster | Powered by Funnelback Search