Presheaves as Configured Specifications (1999)

Cached

Download Links

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

Documents Related by Co-Citation

48 Semantics of architectural connectors – J. L. Fiadeiro, A. Lopes, M. Wermelinger - 1997
45 Sheaf Semantics for Concurrent Interacting Objects – Joseph A. Goguen - 1992
20 A categorical approach to general systems theory – J Goguen, S Ginali - 1978
66 Temporal Theories as Modularisation Units for Concurrent System Specification – J. Fiadeiro, T. Maibaum - 1992
63 Object Specification Logic – Amílcar Sernadas, Cristina Sernadas - 1995
8 A categorical approach to simulations, in – Miguel Palomino, José Meseguer - 2005
1107 Temporal and modal logic – E. Allen Emerson - 1995
263 Relations in Concurrency – Glynn Winskel
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
9 D-oids: a model for dynamic data-types – E Astesiano, E Zucca - 1995
3 Diagram models for interacting components: Extended version – A Zawlocki
137 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
17 A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems – Stephan Merz, Martin Wirsing, Inria Lorraine - 2003
15 Abstract and Concrete Categories. A Wiley-interscience publication – J Adamek, H Herrlich, G E Strecker - 1990
164 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
19 Object Specification – Hans-dieter Ehrich - 1997
16 Casl-Ltl : A Casl extension for dynamic reactive systems – G Reggio, E Astesiano, C Choppy
2 Available at ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf – T Andrews, F Curbera, H Dholakia, Y Goland, J Klein, F Leymann, K Liu, D Roller, D Smith, S Thatte, I Trickovic, S Weerawarana - 2003