Pages that link to "Item:Q2369034"
From MaRDI portal
The following pages link to Algebraic-coalgebraic specification in CoCASL (Q2369034):
Displaying 12 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- The coalgebraic class specification language CCSL (Q2709810) (← links)
- (Q2761706) (← links)
- \textsc{CoCasl} at work -- modelling process algebra (Q2843729) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- (Q3839054) (← links)
- (Q4499311) (← links)
- (Q4680193) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900832) (← links)