"A fully abstract semantics for value-passing CCS for trees."

Ying Jiang, Shichao Liu, Thomas Ehrhard (2019)

Details and statistics

DOI: 10.1007/S11704-018-7069-1

access: closed

type: Journal Article

metadata version: 2019-06-04