18 citations · 52 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
Symmetric Monoidal Categories with Attributes
Spencer Breiner, John S. Nolan
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attri…
cs.SE2021★ 18 cited
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…