![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 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](https://www.pdfsearch.io/img/1a3aae3c8f41bc1ab317f6e46bb3913d.jpg) Date: 2009-01-19 04:25:05Mathematics 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, ImperiAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 508,32 KBShare Document on Facebook
|