Pages that link to "Item:Q2709810"
From MaRDI portal
The following pages link to The coalgebraic class specification language CCSL (Q2709810):
Displaying 16 items.
- CCSL (Q15889) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- Towards weak bisimulation for coalgebras (Q2841308) (← links)
- A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- \textsc{CoCasl} at work -- modelling process algebra (Q2843729) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)