narcotic
发表于 2025-3-28 17:12:05
http://reply.papertrans.cn/16/1525/152485/152485_41.png
捐助
发表于 2025-3-28 21:00:31
https://doi.org/10.1007/978-1-4302-5374-7 of a supervisory control problem and design a controller called supervisor satisfying a given specification under partial observations. In this paper, plants, specifications, and supervisors are modeled by Mealy automata, automata, and Moore automata, respectively. We define a composition of a supe
humectant
发表于 2025-3-28 23:18:17
http://reply.papertrans.cn/16/1525/152485/152485_43.png
minaret
发表于 2025-3-29 04:07:22
Algebra and Coalgebra in Computer Science978-3-642-22944-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
大吃大喝
发表于 2025-3-29 10:30:31
https://doi.org/10.1007/978-3-662-26471-3be lifted to a functor on .(.) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.
notice
发表于 2025-3-29 13:38:05
http://reply.papertrans.cn/16/1525/152485/152485_46.png
委屈
发表于 2025-3-29 15:44:16
0302-9743 nd calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.978-3-642-22943-5978-3-642-22944-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
聋子
发表于 2025-3-29 21:26:04
http://reply.papertrans.cn/16/1525/152485/152485_48.png
Cuisine
发表于 2025-3-30 03:52:36
Conference proceedings 2011 the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
APEX
发表于 2025-3-30 06:49:57
https://doi.org/10.1007/978-3-662-26470-6a types often arise as initial algebras and final coalgebras of functors on slice categories, so our key technical results give sufficent conditions under which we can construct, from a CCU (QCE) ., a fibration with base . that models indexing by . and is also a CCU (QCE).