Content Process calculi Calculus of Communicating Systems(CCs) Name Passing Calculus( pi calculus) Petri nets 2021年1月27日星期三上海交通大学计算机系 BASICS实验室 17
2021年1月27日星期三 上海交通大学计算机系BASICS实验室 17 Content ◼ Process calculi ◼ Calculus of Communicating Systems (CCS) ◼ Name Passing Calculus (Pi calculus) ◼ Petri nets
References CCS Communication and Concurrency Robin milner. Prentice hall, 1989 Pi calculus Communicating and Mobile systems: The n-calculus. Robin milner. Cambridge University Press, 1999 The n-calculus: A Theory of Mobile processes Davide sangiorgi. cambridge University press 2001 Petri nets Petri nets-an introduction Wolfgang Reisig Springer-Verlag, 1982
References ◼ CCS ◼ Communication and Concurrency. Robin Milner. Prentice Hall, 1989. ◼ Pi calculus ◼ Communicating and Mobile Systems: The π-calculus. Robin Milner. Cambridge University Press, 1999. ◼ The π-calculus: A Theory of Mobile Processes. Davide Sangiorgi. Cambridge University Press, 2001. ◼ Petri nets ◼ Petri nets – an introduction , Wolfgang Reisig, Springer-Verlag, 1982
Review
Review
Sequential Computation The Concept of Computation Sequential Computation a linearly ordered sequence of atomic actions 2021年1月27日星期三上海交通大学计算机系 BASICS实验室 20
2021年1月27日星期三 上海交通大学计算机系BASICS实验室 20 Sequential Computation ◼ The Concept of Computation ◼ Sequential Computation ◼ a linearly ordered sequence of atomic actions
Some models Theory of sequential Computation Turing machine (turing Computation as mechanical operation A-Calculus(Church) Computation as B-reduction Recursion theory( leene etc.) Computation as function composition Computation denotes function 2021年1月27日星期三上海交通大学计算机系 BASICS实验室
2021年1月27日星期三 上海交通大学计算机系BASICS实验室 21 Some Models ◼ Theory of Sequential Computation ◼ Turing machine (Turing) ◼ Computation as mechanical operation ◼ -Calculus (Church) ◼ Computation as -reduction ◼ Recursion theory (Kleene etc.) ◼ Computation as function composition ◼ Computation denotes function