State and Concurrency Prev: specifications Next: protocols-and-datatypes Prev: specifications Next: protocols-and-datatypes