2 events with tag "process calculus"
1980
ID: 4523
Milner develops CCS (Calculus of Communicating Systems) and bisimulation for proving program equivalence
ID: 4523
1998
ID: 4547
Cardelli's Ambient Calculus - model computation with boundaries and mobile processes
ID: 4547