J. H. A. Warmerdam

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

J. W. de Bakker, J. H. A. Warmerdam
Four Domains for Concurrency. Theor. Comput. Sci. 90 (1) (1991)
J. W. de Bakker, J. H. A. Warmerdam
Metric Pomset Semantics for a Concurrnt Language with Recursion. Semantics of Systems of Concurrent Processes (1990)