By the same authors

A Suspension-Trace Semantics for CSP

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationInternational Symposium on Theoretical Aspects of Software Engineering
DatePublished - 1 Jul 2016
Pages3-13
Number of pages11
PublisherIEEE
Original languageEnglish
ISBN (Print)9781509017638

Bibliographical note

Invited paper

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations