From static to dynamic abstract data-types: an institution transformation

By Zucca E.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 109-157

Elsevier

Access to resources Recommend Favorite

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

By Cervesato Iliano  

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 3-35

Springer Publishing Company

Access to resources Recommend Favorite

A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

By Girard J-F.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 357-386

Springer Publishing Company

Access to resources Recommend Favorite

On abstract data types presented by multiequations

By Adamek  

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 427-462

Elsevier

Access to resources Recommend Favorite

NONMONOTONIC TEMPORAL REASONING: A LOGIC-BASED APPROACH TO DECLARATIVE MODELING

By Macnish C. K.  

Cybernetics and Systems, Vol. 29, Iss. 5, 1998-07 ,pp. : 425-459

Taylor & Francis Ltd

Access to resources Recommend Favorite