Metric semantics for concurrency
J. W. de Bakker, J. -J. Ch. MeyerVolume:
28
Year:
1988
Language:
english
Pages:
26
Journal:
BIT Numerical Mathematics
DOI:
10.1007/bf01941131
File:
PDF, 1.29 MB
english, 1988