Permutation of transitions: An event structure semantics for CCS and SCCS
Keyword(s):
Keyword(s):
Keyword(s):
1991 ◽
Vol 269
(3-4)
◽
pp. 445-449
◽