GDPA  
Index for tools/publications on formal methods  

Algebra based

Contents  
  • Publications
  • See also
  • Projects/Tools

    • Publications

    /Wermellinger, 1999/ Algebraic Software Architecture Reconfiguration

    Projects/Tools

    ACSR - Algebra of Communicating Shared Resources
    CafeOBJ
    CCS - Calculus of Communicating Systems
    CIRCAL - CIRcuit CALculus
    CoFI - Common Framework Initiative
    OBJ3 - Algebraic Specification

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster