Behavioral Verification of Distributed Concurrent Systems with BOBJ (2003)

by Joseph Goguen , Kai Lin
Venue:Proceedings, Conference on Quality Software
Citations:7 - 2 self

Active Bibliography

Behavioral Abstraction is Information Hiding – Grigore Rosu
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
6 Behavioral Coinductive Rewriting – Grigore Rosu - 1999
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
3 Behavioral institutions and refinements in generalized hidden logics – Manuel A. Martins - 2006
Composition of Modules with Hidden Information over Inclusive Institutions – Joseph Goguen, Grigore Rosu
1 Morphisms and Semantics for Higher Order Parameterized Programming – Kai Lin, Joseph Goguen - 2002
3 Situated Adaptive Software: Beyond the Object Paradigm – Joseph A. Goguen, Grant Malcolm - 1995