@dblp

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.

, and . Fundam. Informaticae, 31 (3/4): 357-377 (1997)

Links and resources

Tags