[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: protocol standards that use formal specification of behavior?
> Personnally I find CSP a bit too primitive to describe protocols as one
> needs to expres everything in low level channel communication and at least
> two processes. I am still looking for a tool or way that takes a whole
> protocol (like expressed in a MSC) as a single interaction between
> concurrent entities.
If the channel ends pre-exist, wouldn't it be possible to express such a
tool as a CPA (occam-like) procedure callable as a process in parallel,
CHAN and other declarations :
... whatever uses CHAN a
... whatever uses CHAN b
... maybe other control channel or trigger channel stuff
protocol_process(CHAN a, CHAN b, more externals)
Given some constructs friendly to zero-copy, wouldn't this be completely