Denotational Semantics of Object Specification (1998)

Cached

Download Links

by Amílcar Sernadas , Cristina Sernadas , Carlos Caleiro
Venue:ACTA INFORMATICA
Citations:8 - 3 self

Documents Related by Co-Citation

22 An Institution of Object Behaviour – Amílcar Sernadas, José Félix Costa, Cristina Sernadas - 1994
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
1107 Temporal and modal logic – E. Allen Emerson - 1995
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
63 Object Specification Logic – Amílcar Sernadas, Cristina Sernadas - 1995
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990
2 Algebraic Foundations of Systems Specifications, chapter Structuring and Modularity – F Orejas - 1999
11 Mirror Mirror In My Hand: a duality between specifications and models of process behaviour – J.L. Fiadeiro, J.F. Costa - 1996
6 Quelques probl`emes typiques concernant les graphes – L Coppey - 1980
3 Reactive, generativem and stratified models for probabilistic processes – R van Glabbeek, S Smolka, B Steffen, C Tofts - 1995
2 Stochastic Techniques in Concurrency. Draft provided by CISM – P Panangaden - 1997
8 Free adjunction of morphisms – Lutz Schröder, Horst Herrlich
99 A Categorical Manifesto – Joseph A. Goguen - 1991
263 Relations in Concurrency – Glynn Winskel
172 Probabilistic automata – M O Rabin - 1963
73 nets, algebras, morphisms, and compositionality – Petri
53 Abstract and Concrete Categories. The Joy of Cats – Horst Herrlich, George E. Strecker, Bernhard Banaschewski - 2004
15 A Temporal Logic Approach to Object Certification – Amílcar Sernadas, Cristina Sernadas, Jaime Ramos - 1996
27 Temporal Aspects of Logical Procedure Definition – A Sernadas - 1980