"Trace Structures and other Models for Concurrency."

Mogens Nielsen, Glynn Winskel (1995)

Details and statistics

DOI: 10.1142/9789814261456_0009

access: closed

type: Part in Book or Collection

metadata version: 2019-07-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics