Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras (1996)

by Till Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science
Citations:15 - 5 self

Active Bibliography

5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski - 1996
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
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
734 Notions of Computation and Monads – Eugenio Moggi - 1991
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
395 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996