- Design of a CIL Connector to Maude Grit Denker
- Optimizing Protocol Rewrite Rules of CIL Specifications Grit Denker and Jonathan K. Millen
- Security for DAML Web Services: Annotation and Matchmaking ?
- Towards Security in DAML ? Grit Denker
- BRAUNSCHWEIG INFORMATIKBERICHTE 97--03
- Towards a Model for Asynchronously Communicating Objects
- A Linear Temporal Logic Approach to Objects with Transactions
- ACTION REIFICATION IN OBJECTORIENTED SPECIFICATION \Lambda
- Pergamon Information Systems Vol. 22, No. 2&3, pp. 79--99, 1997 Copyright c
- SRI INTERNATIONAL CSL Technical Report 03 2003
- Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience
- Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht
- CAPSL Integrated Protocol Environment \Lambda G. Denker and J. Millen
- Transactions in ObjectOriented Specifications G. Denker ?
- SRI INTERNATIONAL SRI Technical Report
- CAPSL Intermediate Language \Lambda G. Denker and J. Millen
- [JF88] Johnson,R.E.;Foote,B.: Designing Reusable Classes. Journal of OO Programming, vol 1, no 2, 1988, 2235
- Object Roles and Phases \Lambda Extended Abstract y
- TECHNISCHE UNIVERSIT AT BRAUNSCHWEIG
- Specifying Distributed Information Systems: Fundamentals of an
- WRLA 2000 Preliminary Version Rewriting Semantics of Meta-Objects and
- Developing an Information System using Troll an application field study ?
- CAPSL Integrated Protocol Environment \Lambda G. Denker and J. Millen
- SRI INTERNATIONAL SRI Technical Report
- Protocols for secure group management are essential in applications that are concerned with con dential authenticated communication among coali-
- An EventBased Semantics for Transactions G. Denker and H.D. Ehrich \Lambda
- This article was processed using the L a T E X macro package with LLNCS style [EM90] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules
- SEMANTIC REFINEMENT OF CONCURRENT OBJECT SYSTEMS
- [Ju93] Jungclaus, R.: LogicBased Modeling of Dynamic Object Systems. Doktorarbeit, TU Braunschweig 1993
- Rewriting Semantics of MetaObjects and Composable Distributed Services \Lambda
- A Development Environment for an Object Specification Language Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis
- Reification --Changing Viewpoint but Preserving Truth
- Zur Entwicklung zuverl assiger Informationssysteme in KorSo \Lambda S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, H.D. Ehrich
- Entwicklung zuverl assiger Informationssysteme \Lambda S. Conrad 1 , G. Denker 2 , M. Gogolla 3 , R. Herzig 3 , N. Vlachantonis 4 und H.D. Ehrich 2
- Towards Reliable Information Systems: The KorSo Approach ?
- Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 21 pages
- Protocol Specification and Analysis in Maude \Lambda G. Denker y and J. Meseguer
- Logics for Databases and Information Systems
