Pilar Nivela (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Fernando Orejas, Pilar Nivela: Constraints for Behavioural Specifications. ADT 1990: 220-245

4 Pilar Nivela, Fernando Orejas: A Module Concept within the Initial Behaviour Framework. ADT 1988

3 Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. ADT 1988

2 Fernando Orejas, Pilar Nivela, Hartmut Ehrig: Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243

1 Pilar Nivela, Fernando Orejas: Initial Behaviour Semantics for Algebraic Specifications. ADT 1987: 184-207

Selection of 5 from 9 records - Pilar Nivela has 7 coauthors

5		Fernando Orejas, Pilar Nivela: Constraints for Behavioural Specifications. ADT 1990: 220-245
4		Pilar Nivela, Fernando Orejas: A Module Concept within the Initial Behaviour Framework. ADT 1988
3		Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. ADT 1988
2		Fernando Orejas, Pilar Nivela, Hartmut Ehrig: Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243
1		Pilar Nivela, Fernando Orejas: Initial Behaviour Semantics for Algebraic Specifications. ADT 1987: 184-207