The following pages link to (Q3221381):
Displaying 50 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Canonical constraints for parameterized data types (Q580959) (← links)
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the Modularization Theorem for logical specifications (Q674000) (← links)
- On the correctness of modular systems (Q674009) (← links)
- On the role of memory in object-based and object-oriented languages (Q674010) (← links)
- Comparison of functional and predicative query paradigms (Q676417) (← links)
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- On weakly confluent monadic string-rewriting systems (Q685433) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- An algebraically specified language for data directed design (Q751297) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Equational type logic (Q752689) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Defining, analysing and implementing communication protocols using attribute grammars (Q919803) (← links)
- Consistent integration of models based on views of meta models (Q973049) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
