L. G. Meredith

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Operational Semantics

Activity Diagrams

Top Venues

Publications

Michael Stay, L. G. Meredith
Representing operational semantics with enriched Lawvere theories. CoRR (2017)
L. G. Meredith, David F. Snyder
Knots as processes: a new kind of invariant CoRR (2010)