Type: Direct Link

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology

Proceedings Seventh Workshop on Structural Operational Semantics

Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems

Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures