DMCA. Copyrighted Work that you can Claim.
Base have 2315513 titles. Books: 2315513. Articles: 0

Preview A Tool for the Simulation of π-Calculus Systems - Oryx pdf file

behavior of π-calculus systems and to enable a user to interactively ... The π- calculus is a formal algebra for concurrent, communicating and mobile systems. It .

Related links: