Vicinity Respecting Homomorphisms for Abstracting System Requirements

Jörg Desel, Agathe Merceron. Vicinity Respecting Homomorphisms for Abstracting System Requirements. T. Petri Nets and Other Models of Concurrency, 4:1-20, 2010. [doi]

Abstract

Abstract is missing.