Formal Definition
ACP fundamentally adopts an axiomatic, algebraic approach to the formal definition of its various operators. The axioms presented below comprise the full axiomatic system for ACP (ACP with abstraction).
Read more about this topic: Algebra Of Communicating Processes
Famous quotes containing the words formal and/or definition:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)