value-passing CCS
Augmentation of
ACP (1127)
Algebra of Communicating Processes
microCRL
1
Based on
1
pCRL
1
Extension of
1
Internal error
SAYFLD: Object variable or With block variable not set 91 ProtiumLPNDB at lngFKChild saying value...
Internal error
SAYFLD: Object variable or With block variable not set 91 ProtiumLPNDB at lngFKChild saying value...