Bent Thomsen

Suggest Changes
Learn More
A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For a process algebra to be useful as a process language, it must possess(More)