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
16 Parallel Program Design—A Foundation – K M Chandy, J Misra - 1988
43 Connectors for Mobile Programs – Michel Wermelinger, Jose Fiadeiro - 1998
66 Temporal Theories as Modularisation Units for Concurrent System Specification – J. Fiadeiro, T. Maibaum - 1992
42 ADLs and Dynamic Architecture Changes – Nenad Medvidovic - 1996
37 Categorical foundations for general systems theory – J Goguen - 1973
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
653 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 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
105 Specifying and Analyzing Dynamic Software Architectures – Robert Allen, Rémi Douence, David Garlan - 1998
29 Dynamic change management by distributed graph transformation: Towards configurable distributed systems – G Taentzer, M Goedicke, T Meyer - 1998
17 Modelling software architectures and styles with graph grammars and constraint solving – D Hirsch, P Inverardi, U Montanari - 1999