|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
53
|
Observational logic
– Rolf Hennicker, Michel Bidoit
- 1999
|
|
15
|
Conditional Circular Coinductive Rewriting with Case Analysis
– Joseph Goguen, Kai Lin, Grigore Rosu
- 2002
|
|
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
|
|
51
|
Institution Morphisms
– Joseph Goguen, Grigore Rosu
- 2001
|
|
46
|
Context induction: a proof principle for behavioural abstractions and algebraic implementations
– R Hennicker
- 1991
|
|
9
|
Răzvan Diaconescu, and Andrzej Tarlecki. What is a logic
– Till Mossakowski, Joseph Goguen
- 2005
|
|
203
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
207
|
Algebraic specification
– Martin Wirsing
- 1990
|
|
29
|
A Hidden Agenda. Theoretical Computer Science 245
– Joseph Goguen, Grant Malcolm
- 2000
|
|
127
|
Membership Algebra as a Logical Framework for Equational Specification
– José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer
- 1998
|
|
149
|
Basic Category Theory for Computer Scientists
– B Pierce
- 1991
|
|
7
|
Formal analysis of suzuki&kasami distributed mutual exclusion algorithm
– K Ogata, K Futatsugi
- 2002
|
|
1
|
Modeling and verification of hybrid systems based on equations
– Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
- 2004
|
|
1
|
Supporting case analysis with algebraic specification languages
– Takahiro Seino
- 2004
|
