Jochen Meßner
-
Inclusion problems in trace monoids
Cybernetics and Systems Analysis
Trace matching in a concurrent logical framework
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice