Presheaves as Configured Specifications (1999)

Cached

Download Links

by Steven Vickers , Gillian Hill
Citations:2 - 0 self

Active Bibliography

8 Maude's Module Algebra – Francisco Durán, José Meseguer - 2000
8 An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs – Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira - 1994
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
A Meta-theory for Structured Presentations in the COC – Sherri Shulman - 1997
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla - 1998
8 Denotational Semantics of Object Specification – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1998
49 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
8 Semantics of architectural specifications in Casl – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman - 2001
3 On Simplifying Modular Specification and Verification of Distributed Protocols – Purnendu Sinha, Neeraj Suri - 2001
2 A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems – William M. Farmer - 1994
8 The Maude Specification of Full Maude – Francisco Durán, José Meseguer - 1999
6 A Generic Component Concept for Integrated Data Type and Process Modeling Techniques – Hartmut Ehrig, Fernando Orejas - 2001
1 Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition – Juliana Küster Filipe - 1997
5 CafeOBJ: Logical Foundations and Methodologies – Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - 2003
1 Ontology-based component composition – Kenneth Baclawski, Artan Simeqi - 2001
15 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
7 A Study on Components and Assembly Primitives in B – Didier Bert, Marie-Laure Potet, Yann Rouzaud
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991