Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Theoretical computer science / Logic in computer science / Temporal logic / Process calculi / Ambient calculus / Computation tree logic / Bisimulation / Propositional calculus / Distribution / Well-formed formula


Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi
Add to Reading List

Document Date: 2009-01-19 04:25:05


Open Document

File Size: 508,32 KB

Share Result on Facebook