Categorical Semantics Of Parallel Program Design (1997)

Cached

Download Links

by José Luiz Fiadeiro , Tom Maibaum , Josž Luiz , Fiadeiro Tom Maibaum
Citations:30 - 10 self

Active Bibliography

3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
2 A Sheaf Semantics for Petri Nets – Johan Lilius - 1993
1 A critical look at design, verification, and validation of large scale simulations – D. E. Stevenson
Structured and Architectural Specifications of Concurrent Systems 1 – unknown authors
An Institution for Interacting Components – unknown authors
FACS 2006 Diagram Models for Interacting Components – Uniwersytet Warszawski Instytut Informatyki Warszawa
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
13 Concepts of Object-Orientation – Hans-dieter Ehrich, Gunter Saake, Amilcar Sernadas - 1992
1 A Semantics for Object-Oriented Systems – Tony Clark - 1998
1 Distributed Operational Semantics for the Object Paradigm – Grant Malcolm, Corina Cirstea - 1997
8 Interconnection of Object Specifications – Grant Malcolm - 1996
3 Composition of Reactive System Components – K. Lano, J. Bicarregui, T. Maibaum, J. Fiadeiro - 1997
2 Synthesising Interconnections – Fiadeiro And Lopes
Composition of Reactive Systems – K. Lano, J. Bicarregui, T. Maibaum
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
5 Object Interaction – J.F. Costa, C. Sernadas, H.-D. Ehrich - 1992
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
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
1 A Primer on Validation and Accreditation – D. E. Stevenson, R. C. Edwards Hall - 2000