Searching for "Algebraic Specification." – sorted by Relevance.
2,235 documents found, showing 1 through 10.
Next 10 →
-
The Use of Sorts in Algebraic Specifications
- …. CitationsofthisworkshouldrefertotheProceedings,nottothispreprint. 1 Contents 1 Introduction 4 2 Sorts 6 3 Man y-SortedAlgebras 9 4…
- Cited by 11 (0 self) – Add To MetaCart
-
Embedding Algebraic Specifications in HOL
- …Embedding Algebraic Specifications in HOL Dan Zhou 1 and Shiu-Kai Chin 2 1 Department…
- Add To MetaCart
-
On the Algebraic Specification of Databases
- …ON THE ALGEBRAIC SPECIFICATION OF DATABASES Walter Dosch* Gianfranco Mascari** Martin Wirsing…
- Cited by 1 (0 self) – Add To MetaCart
-
Modular Algebraic Specification and the Orientation . . .
- … of Lecture Notes in Computer Science, pages 503-521. Springer, 1996. Modular Algebraic Specifications…
- Add To MetaCart
-
Modal Logic and Algebraic Specifications
- …Modal Logic and Algebraic Specifications Lawrence S. Moss Satish R. Thatte y Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Refinement of Parameterized Algebraic Specifications
- …KES.U.96.8 Kestrel Institute Refinement of Parameterized Algebraic Specifications by Yellamraju V…
- Cited by 5 (0 self) – Add To MetaCart
-
Algebraic Specification of Concurrent Systems
- …13 Algebraic Specification of Concurrent Systems Egidio Astesiano 1 , Manfred Broy 2…
- Cited by 18 (4 self) – Add To MetaCart
-
Algebraic Specification of Reactive Systems
- …Algebraic Specification of Reactive Systems * Manfred Broy Institut fr Informatik, Technische…
- Cited by 5 (0 self) – Add To MetaCart
-
Algebraic Specification of Computer Viruses
- …Algebraic Specification of Computer Viruses and Their Environments Matt Webster ⋆ M…
- Add To MetaCart
-
On Observational Equivalence and Algebraic Specification
- … and Algebraic Specification* DONALD SANNELLA AND ANDRZEJ TARLECKI+ Departmeni of‘ C’ompuier Science, Unioersi…
- Cited by 66 (17 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
