Sheaf Semantics for Concurrent Interacting Objects (1992)

Cached

Download Links

by Joseph A. Goguen
Venue:Mathematical Structures in Computer Science
Citations:45 - 5 self

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
72 Types as theories – Joseph Goguen - 1991
20 A categorical approach to general systems theory – J Goguen, S Ginali - 1978
99 A Categorical Manifesto – Joseph A. Goguen - 1991
37 Categorical foundations for general systems theory – J Goguen - 1973
13 An Algebraic Approach to Refinement – J Goguen - 1990
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
7 A sheaf theoretic model for concurrency – L Monteiro, F Pereira - 1986
21 A Categorial Theory of Objects as Observed Processes – H. -d. Ehrich, Abteilung Datenbanken, Technische Universit~t Braunschweig, D- Braunsehweig, Fr. Germany, J. A. Goguen, A. Scrnadas - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
23 Mathematical representation of hierarchically organized systems – J Goguen - 1971
36 CAT: a system for the structured elaboration of correct programs from structured specifications – J Goguen, R Burstall
119 Parameterized Programming – J A Goguen - 1984
75 Reusing and interconnecting software components – J Goguen - 1986