The following pages link to Egidio Astesiano (Q673182):
Displayed 45 items.
- Item:Q673182 (redirect page) (← links)
- Free objects and equational deduction for partial conditional specifications (Q673184) (← links)
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- The insensitivity theorem for nonreducing reflexive types (Q792755) (← links)
- Parametric channels via label expressions in CCS (Q795500) (← links)
- Observational structures and their logic (Q1190494) (← links)
- Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages (Q1806130) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- A free construction of dynamic terms (Q1915511) (← links)
- Formalism and method (Q1978639) (← links)
- (Q2736339) (← links)
- (Q2764158) (← links)
- (Q2767181) (← links)
- (Q3030245) (← links)
- (Q3043828) (← links)
- (Q3206309) (← links)
- (Q3316569) (← links)
- (Q3319765) (← links)
- Modeling Business within a UML-Based Rigorous Software Development Approach (Q3507369) (← links)
- (Q3677154) (← links)
- (Q3742700) (← links)
- (Q3753466) (← links)
- Direct semantics of concurrent languages in the SMoLCS approach (Q3766819) (← links)
- (Q3777428) (← links)
- (Q3829081) (← links)
- (Q3888521) (← links)
- (Q3912004) (← links)
- (Q3912568) (← links)
- (Q3954807) (← links)
- (Q3969858) (← links)
- (Q4018062) (← links)
- (Q4035228) (← links)
- (Q4139647) (← links)
- (Q4203802) (← links)
- (Q4312481) (← links)
- (Q4702603) (← links)
- (Q4721640) (← links)
- (Q4775796) (← links)
- D-oids: a model for dynamic data-types (Q4856662) (← links)
- Non-strict don't care algebras and specifications (Q4882494) (← links)
- A Framework for Defining and Comparing Modelling Methods (Q5256361) (← links)
- (Q5542966) (← links)
- Bayesian recognition improved by automatic associations of variables (Q5661168) (← links)
- Formal Methods in Software and Systems Modeling (Q5710407) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)