Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model by Mauricio Ayala-Rincón, Yuri Santos Rego

Subjects: Get full text

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers by Jan A. Bergstra

Subjects: “…algebraic specification…”
Get full text

Logics of Statements in Context-Category Independent Basics by Uwe Wolter

Subjects: Get full text

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method by Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata

Subjects: “…Algebraic specification language…”
Get full text

A partial evaluation methodology for optimizing rewrite theories incrementally by María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán Pascual, Julia Sapiña

Subjects: Get full text

Semantic Observation Integration by Werner Kuhn, Laura Spinsanti, Frank Ostermann, Sven Schade

Subjects: Get full text

A Software Development Model for the Automatic Generation of Classes by Eugenio Scalise, Nancy Zambrano

Subjects: Get full text

CONCEPTUAL MODELS OF FUNCTIONAL ARCHITECTURE OF MOBILE RECONFIGURABLE AGENT-ORIENTED DISTRIBUTED COMPUTING SYSTEMS by V. I. Volchikhin, S. A. Zinkin, N. S. Karamysheva

Subjects: