Daniel E. Gebler

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics

Silvia Crafa, Daniel E. Gebler, 2015 .