Cargando…

Contextual Equivalence for Signal Flow Graphs

We extend the signal flow calculus—a compositional account of the classical signal flow graph model of computation—to encompass affine behaviour, and furnish it with a novel operational semantics. The increased expressive power allows us to define a canonical notion of contextual equivalence, which...

Descripción completa

Detalles Bibliográficos
Autores principales: Bonchi, Filippo, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788617/
http://dx.doi.org/10.1007/978-3-030-45231-5_5