22nd International Workshop on Algebraic Development Techniques (WADT) Conference

Scholarly Activity

related documents

A Full Operational Semantics for Asynchronous Relational Networks Conferences
What Is a Derived Signature Morphism? Conferences