Behavioral Verification of Distributed Concurrent Systems with BOBJ (2003)

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

Documents Related by Co-Citation

18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
223 Algebraic Specification – M Wirsing - 1990
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
172 Basic Category Theory for Computer Scientists – B C Pierce - 1991
32 A Hidden Agenda, Theoretical Computer Science 245 – J Goguen, G Malcolm - 2000
3 Modeling and verification of distributed real-time systems based on CafeOBJ – K Ogata, Futatsugi - 2001
13 Proof Scores in the OTS/CafeOBJ method – Kazuhiro Ogata, Kokichi Futatsugi, Nec Software Hokuriku - 2003
33 Behavioural Theories and The Proof of Behavioural Properties – Michel Bidoit, Rolf Hennicker - 1996
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
10 Răzvan Diaconescu, and Andrzej Tarlecki, What is a logic translation – Till Mossakowski
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
592 A Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
14 Functional Programming with Bananas – E Meijer, M Fokkinga, R Paterson - 1991
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985