![Boolean algebra / Mathematical logic / Communicating sequential processes / Process calculus / Circus / Process calculi Boolean algebra / Mathematical logic / Communicating sequential processes / Process calculus / Circus / Process calculi](https://www.pdfsearch.io/img/4480c9525021dda936d3678abd8654a7.jpg)
| Document Date: 2013-02-26 07:24:06 Open Document File Size: 926,76 KBShare Result on Facebook
Facility Computer Science University of York February / / Organization Ana Cavalcanti Department / University of York / / Person Adnan Sherif / Jim Woodcock / Ana Cavalcanti / / Position Skip RT / RT / hb / / ProgrammingLanguage Ada / /
SocialTag |