"Proceedings of the Fourth Workshop on Structural Operational Semantics, ..."

Rob van Glabbeek, Matthew Hennessy (2007)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics