Sciweavers

JLP
2007
89views more  JLP 2007»
13 years 11 months ago
Preferential choice and coordination conditions
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
Jan A. Bergstra, C. A. Middelburg