Events Tagged: "formal methods"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "formal methods"
1980
ID: 4523
Milner develops CCS (Calculus of Communicating Systems) and bisimulation for proving program equivalence
ID: 4523
concurrency
process calculus
Milner
CCS
formal methods