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

Documents Related by Co-Citation

47 Interacting processes – N Francez, I Forman - 1996
738 Parallel Program Design: A Foundation – K Chandy, J Misra - 1989
48 Semantics of architectural connectors – J. L. Fiadeiro, A. Lopes, M. Wermelinger - 1997
66 Temporal Theories as Modularisation Units for Concurrent System Specification – J. Fiadeiro, T. Maibaum - 1992
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
653 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
37 Categorical foundations for general systems theory – J Goguen - 1973
75 SPECWARE: Formal Support for Composing Software – Yellamraju V. Srinivas, Yellamraju V. Srinivas, Richard Jüllig, Richard Jullig - 1995
16 Parallel Program Design—A Foundation – K M Chandy, J Misra - 1988
43 Connectors for Mobile Programs – Michel Wermelinger, Jose Fiadeiro - 1998
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
540 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
42 ADLs and Dynamic Architecture Changes – Nenad Medvidovic - 1996
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
34 An algebraic semantics for structured transition systems and its application to logic programs – A Corradini, U Montanari - 1992
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
3219 Communication and Concurrency – R Milner - 1990