The following pages link to (Q4680193):
Displaying 23 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Architectural specifications in CASL (Q699927) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Validating mathematical theorems and algorithms with RISCAL (Q1798974) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← links)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (Q2364696) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- Implementing local intervals in CASL (Q2870328) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- (Q3150303) (← links)
- Reasoning Support for Casl with Automated Theorem Proving Systems (Q3591069) (← links)
- Overview of algebraic specification languages, environments and tools, and algebraic specifications of software systems (Q3971276) (← links)
- (Q4535078) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703996) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703998) (← links)
- Structured specification of paraconsistent transition systems (Q6536437) (← links)
