The following pages link to (Q3341871):
Displayed 9 items.
- A set-theoretic semantics for Clear (Q791329) (← links)
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems (Q1047214) (← 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)
- Specifications in an arbitrary institution (Q1108775) (← links)
- LOTOS extended with probabilistic behaviours (Q1261318) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)