Posts Tagged communicating sequential processes
Introduction to processes
Posted by helmutbrandl in Uncategorized on December 3, 2012
Basics A function is a computation object which calculates a result given its arguments. A procedure is a computation object which establishes a postcondition provided that its precondition is satisfied. Functions and procedures do not interact with their environment during their lifetime. They just have an entry point and an exit point. What happens between […]